Denotational semantics : the Scott-Strachey approach to programming language theory
Author(s)
Bibliographic Information
Denotational semantics : the Scott-Strachey approach to programming language theory
(MIT Press series in computer science, 1)
MIT Press, 1981, c1977
First pbk. ed
- : hdk
- : pbk
Available at / 56 libraries
-
University of Tsukuba Library, Library on Library and Information Science
: pbk007.64-St740831025620
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [394]-400
Includes index
Description and Table of Contents
Description
"First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal semantics of programming languages (in contrast to `operational' and `axiomatic' approaches). Treats various kinds of languages, beginning with the pure-lambda-calculus and progressing through languages with states, commands, jumps, and assignments. This somewhat discursive account is a valuable compilation of results not otherwise available in a single source."-American Mathematical Monthly
by "Nielsen BookData"