Inductive program synthesis

Constraint-Based Synthesis

Technique using logical constraints to specify the expected behavior of a program to be generated. The system solves these constraints to automatically produce code satisfying all required conditions.

← Geri