×

zbMATH — the first resource for mathematics

Models of data and languages of their descriptions. (Russian) Zbl 0621.68020
A language for first-order implicational specifications of data types, its expressive power and some general aspects concerning data synthesis are investigated. The so-called realisational completeness of the language is considered to be a suitable concept for program synthesis. To that end, it is proven that there are no nonstandard recursive models of Peano arithmetic.
Reviewer: L.Brim

MSC:
68Q65 Abstract data types; algebraic specification
68P05 Data structures
03H15 Nonstandard models of arithmetic
PDF BibTeX XML Cite