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

Binary numerals | 26 |

Copyright | |

34 other sections not shown

### Common terms and phrases

abstraction allow applied approach Area argument associated assume calculus Chapter command completely completely strict component Cond conditional consider construct contains continuous corresponding course defined definition denotational described directed discussion domain effects elements environment equation evaluation example exists expression fact false final finite fixed point formal function give given hand holds idea implementation induction integers interpreter introduce involving Jump kind lattice Lemma machine mapping mathematical means method notation Note Notice numerals objects occur operator parameter particular possible predicates present problem produce programming languages proof properties prove recursive refer represented result retract rules satisfied semantics sequence side simple simply space specify step Strachey strict structure syntactic syntax terminate Theorem theory tion true usual variables write Wrong

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