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

24 other sections not shown

### 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 conditional consider continuous functions continuous lattice corresponding Curry denotational semantics directed set element of Pu environment evaluation example Exercise exists expression false finite fix(H fixed point operator fixpoint induction flat lattice formal semantics free variables give goto idempotent implementation integers introduce jump-free jumps LAMBDA Lemma machine code mapping mathematical method Milne monotonic normal form notation Notice numerals occur free parameter particular predicates primitive primitive recursive function programming languages proof prove R-value recursive referentially transparent result retract semantic definitions semantic equations semantic function sequence side effects simple specify stack standard semantics Strachey subset syntactic Syntactic Categories syntax technique terminate Theorem tion true truth values 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 |