Zero-One Integer Linear Programming for program synthesis

Program synthesis techniques generate code automatically for a given specification, while code reuse techniques adapt existing code to suit the user's requirements. These methods can be used to help developers implement hard-to-write functions which they find difficult to code by themselves. At the ... View More