5. Synthesis of Programs
Zohar Manna · Society for Industrial and Applied Mathematics eBooks · 1980
The goal: constructing programs to meet given specifications. The specification language consists of high-level constructs that enable us to describe in a very direct, precise, and natural way what is in the user's mind.