A Deductive Approach to Program Synthesis

Zohar Manna, Richard J. Waldinger. A Deductive Approach to Program Synthesis. ACM Transactions on Programming Languages and Systems, 2(1):90-121, 1980. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: