An Abstract Formalization of Correct Schemas for Program Synthesis

Institutions: abstract model theory for specification and programming

Joseph A. Goguen, R. M. Burstall · Journal of the ACM · 1992 · 988 citations · Full text

Computing, Computer Science, Formal Methods +13

KIDS: a semiautomatic program development system

Douglas R. Smith · IEEE Transactions on Software Engineering · 1990 · 355 citations

Computing, Computer Science, Algorithms +9

Proving and applying program transformations expressed with second-order patterns

Bernard Lang · Acta Informatica · 1978 · 285 citations · Full text

Computing, Computer Engineering, Computer Science +12

A Methodology for LISP Program Construction from Examples

Phillip D. Summers · Journal of the ACM · 1977 · 227 citations · Full text

Computing, Computer Science, Compilers +16

Top-down synthesis of divide-and-conquer algorithms

Douglas R. Smith · Artificial Intelligence · 1985 · 156 citations

Computing, Computer Science, Computer Systems +6