zbMATH — the first resource for mathematics

The denotational description of programming languages. An introduction. (English) Zbl 0412.68004
New York, Heidelberg, Berlin: Springer-Verlag. 160 p. DM 18.60; $ 10.30 (1979).

68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
68N01 General topics in the theory of software
68Q55 Semantics in the theory of computing