zbMATH — the first resource for mathematics

On the theory of the synthesis of programs. (Russian) Zbl 0532.68025
Matematicheskaya Logika i Teoriya Algoritmov, Tr. Inst. Mat. 2, 159-175 (1982).
The paper brings a brief general survey (supplied with an extensive bibliography) and then concentrates on deductive logic approach in the sense of [R. L. Constable, Constructive mathematics and automatic program writers, Proc. IFIP Congr. 71, Ljubljana/Yugosl. 1971, 229-233 (1972; Zbl 0255.68014)]. It proceeds along the lines given in other author’s contributions [see e.g. N. N. Nepejvoda: The logical approach to programming in Lect. Notes Comput. Sci. 122, 201-289 (1981; Zbl 0477.68035)]. The new main result states some general conditions for the deducibility problem to be decidable.
Reviewer: J.Hořejš
68Q60 Specification and verification (program logics, model checking, etc.)
68N01 General topics in the theory of software
03B60 Other nonclassical logic
03C65 Models of other mathematical theories