×

zbMATH — the first resource for mathematics

First-order specifications of programmable data types. (English) Zbl 0980.68070
MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
68P05 Data structures
68Q65 Abstract data types; algebraic specification
PDF BibTeX XML Cite
Full Text: DOI