Semantics of Programming Languages

Front Cover
Prentice Hall, 1991 - Computers - 236 pages
This comprehensive text introduces the analysis of the semantics of programming languages and programming logics. It discusses denotational, operational, and axiomatic approaches and the relations between them in a unified framework. Organized around analysis of three languages - the simple imperative language of while commands, a simple applicative language based on the typed lambda calculus, and an Algol-like language which is an extension of the simple languages, the text discusses syntactic and semantic methods appropriate to typed languages. There also self-contained introductions to natural deduction, domain theory, and category theory, and a discussion of modern techniques of possible worlds.

What people are saying - Write a review

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

Other editions - View all

Bibliographic information