Denotational semantics : the Scott-Strachey approach to programming language theory
著者
書誌事項
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
大学図書館所蔵 件 / 全56件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [394]-400
Includes index
内容説明・目次
内容説明
"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
「Nielsen BookData」 より
