| Abstrakt: | Program synthesis is the process of constructing a correct program according to an
input specification. We compare three methods of synthetizing recursion-free programs
from specifications given in extensions of first-order logic. The compared methods
are first each briefly introduced. The input specification languages are compared by
expressivity, the synthesis procedures are evaluated by their usability and aplicability
to classes of problems, and finally, implementations of the methods are tested against
a set of benchmarks.
|
|---|