×

zbMATH — the first resource for mathematics

Institutions: Abstract model theory for specification and programming. (English) Zbl 0799.68134

MSC:
68Q65 Abstract data types; algebraic specification
68Q55 Semantics in the theory of computing
68Q60 Specification and verification (program logics, model checking, etc.)
03B70 Logic in computer science
03G30 Categorical logic, topoi
68N15 Theory of programming languages
Software:
OBJ3
PDF BibTeX XML Cite
Full Text: DOI