×

zbMATH — the first resource for mathematics

Data models and languages for their description. (English. Russian original) Zbl 0674.68019
Transl., Ser. 2, Am. Math. Soc. 143, 139-152 (1989); translation from Vychisl. Sist. 107, 52-70 (1985).
See the review in Zbl 0621.68020.

MSC:
68Q65 Abstract data types; algebraic specification
03H15 Nonstandard models of arithmetic
68P05 Data structures
68Q60 Specification and verification (program logics, model checking, etc.)
PDF BibTeX XML Cite
Full Text: DOI