Denotational semantics : the Scott-Strachey approach to programming language theory

Author(s)

• Stoy, Joseph

Bibliographic Information

Denotational semantics : the Scott-Strachey approach to programming language theory

Joseph E. Stoy

（MIT Press series in computer science, 1）

MIT Press, 1981, c1977

First pbk. ed

• : hdk
• : pbk

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"

Details

• NCID: BA0147457X
• ISBN:
  • 0262690764
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, Mass.
• Pages/Volumes: xxx, 414 p.
• Size: 23 cm
• Classification:
  • LCC : QA76.7
  • DC : 001.6/424
  • NDC8 : 007.64
• Subject Headings:
  • LCSH : Programming languages (Electronic computers) -- Semantics
• Parent Bibliography ID:
  • BA00450361