Inductive Synthesis of Recursive Functional Programs A Comparison of Three Systems.pdfVIP

  • 3
  • 0
  • 约 4页
  • 2015-09-27 发布于重庆
  • 举报

Inductive Synthesis of Recursive Functional Programs A Comparison of Three Systems.pdf

Inductive Synthesis of Recursive Functional Programs A Comparison of Three Systems

Inductive Synthesis of Recursive Functional Programs A Comparison of Three Systems Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmannn, and Ute Schmid University of Bamberg, Faculty of Information Systems and Applied Computer Science {martin.hofmann, andreas.hirschberger}@stud.uni-bamberg.de, {emanuel.kitzelmann, ute.schmid}@wiai.uni-bamberg.de 1 Introduction One of the most challenging subfields, and a still little researched niche of ma- chin

文档评论(0)

1亿VIP精品文档

相关文档