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

Front Cover
MIT Press, 1985 - Computers - 414 pages
0 Reviews
"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

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
1
Denotational semantics
12
Binary numerals
26
Copyright

24 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information