×
Manna, Zohar; Waldinger, Richard

A deductive approach to program synthesis. (English) Zbl 0427.68023

Proc. 5th Scand. Logic Symp., Aalborg 1979, 97-141 (1979).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0427.68023

Cited in 6 Documents

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)

Keywords:

program synthesis; recursive programs

Citations:

Zbl 0419.00002
Cite Review PDF