ISBN is

978-0-262-69076-8 / 9780262690768

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (Computer Science Series)

by

Publisher:The MIT Press

Edition:Softcover

Language:English

Prices INCLUDE standard shipping to United States
Show prices without shipping
Change shipping destination/currency
Shipping prices may be approximate. Please verify cost before checkout.

About the book:

"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

Search under way...

Search complete.

Click on the price to find out more about a book.

New books: 1 - 25 of 46

   

Used books: 1 - 25 of 59