Algebraic semantics. (English) Zbl 0474.68010

Lecture Notes in Computer Science, 99. Berlin-Heidelberg-New York: Springer-Verlag. XI, 158 p. DM 21.50; $ 12.70 (1981).


68Q60 Specification and verification (program logics, model checking, etc.)
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
03C05 Equational classes, universal algebra in model theory
08B20 Free algebras
68-02 Research exposition (monographs, survey articles) pertaining to computer science
68Q55 Semantics in the theory of computing
08C99 Other classes of algebras