zbMATH — the first resource for mathematics

Mathematical bases of semantic programming. (English. Russian original) Zbl 0643.68015
Sov. Phys., Dokl. 31, 608-610 (1986); translation from Dokl. Akad. Nauk SSSR 289, 1324-1328 (1986).
An attempt in the development of a theory of computation that combines ideas of logical and functional programming with abstract data types is made [see also the authors, Math. Res. 31, 169-179 (1986; Zbl 0621.68021)].
Theorems (on determinability, on fixed points, on canonical expansion, and on the existence of a universal machine) supporting the feasibility of examining a class of logical formulas as a programming language are stated.
Reviewer: L.Brim

68P05 Data structures
68Q65 Abstract data types; algebraic specification