Synthesis of Functions Using Generic Programming

Free registration required

Executive Summary

In this paper, the authors have shown a very general and flexible approach to do inductive programming by a generate and test approach. The user defines the syntax of the functions to be generated by a set of algebraic data types. Using generic programming support the user defines the semantic of these syntax trees in function apply. The generation of instances of the algebraic data type representing the syntax of the candidate functions is done by a generic algorithm. Only the generation of constants deserves manual definitions.

  • Format: PDF
  • Size: 254.3 KB