A deductive approach to program synthesis. (English) Zbl 0427.68023
Proc. 5th Scand. Logic Symp., Aalborg 1979, 97-141 (1979).
MSC:
68Q60 | Specification and verification (program logics, model checking, etc.) |
68T15 | Theorem proving (deduction, resolution, etc.) (MSC2010) |