## Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory"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 |

### 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 | |

23 other sections not shown

### Other editions - View all

### Common terms and phrases

abstraction Algol 60 algorithm applied argument assume axiom of extensionality basis elements call by value Chapter Christopher Strachey command complete lattice completely strict component Cond conditional consider continuous functions corresponding Curry denotational semantics directed set element of Pu environment evaluation example exists expression false finite fixed point operator fixpoint induction free variables give goto idempotent implementation integers introduce Jump jump-free LAMBDA Lemma machine code mapping mathematical monotonic normal form notation Notice numerals occur free parameter particular predicates primitive primitive recursive function prš programming languages proof prove R-value recursive referentially transparent repeatwhile result retract semantic definitions semantic equations semantic function sequence side effects simple specify stack standard semantics Strachey subset syntactic Syntactic Categories syntax technique Theorem tion true truth values Update Value Domains value space X-calculus X-expressions

### References to this book

Understanding Z: A Specification Language and Its Formal Semantics J. M. Spivey No preview available - 2008 |

Logic and Computation: Interactive Proof with Cambridge LCF Lawrence C. Paulson Limited preview - 1990 |