×

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