Synthetic programming

An early report on encompass

ICSE '88 Proceedings of the 10th international conference on Software engineering

Logical debugging

Journal of Symbolic Computation - Special issue on automatic programming

A Survey and a Categorization Scheme of Automatic Programming Systems

GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis

Automated Software Engineering

Runtime synthesis of high-performance code from scripting languages

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications