The University of Sussex

Program synthesis by inductive inference

Matthew Huntbach

This paper describes our system without using logic programming terminology. It also indicates how we see this system becoming part of a collection of tools to provide automated assistance to the computer programmer.

This paper is not available online