Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

by Joseph E. Stoy

Paperback

$28.00
View All Available Formats & Editions

Product Details

ISBN-13: 9780262690768
Publisher: MIT Press
Publication date: 09/30/1981
Series: Computer Science Series
Pages: 450
Product dimensions: 5.90(w) x 8.90(h) x 3.20(d)
Age Range: 18 Years

Table of Contents

Preface
Foreword by Dana Scott
1 Introduction
2 Denotational semantics
3 Binary numerals
4 Firstclass functions
5 Lambdacalculus
6 Lattices and domains
7 RefleXive domains
8 Formal semantics of the lambdacalculus
9 A simple algebraic language of flow diagrams
10 Environments and other eXtensions
11 Jumps and continuations
12 Assignment and the store
13 Nonstandard semantics
14 Miscellaneous matters
AppendiX
Bibliography
IndeX

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews