-
Books
-
Education
-
eBooks
-
Audio Books
-
Film & TV
-
Calendars, Diaries & Stationery
-
Giftshop
Browse through the navigation bar
-
Books
-
Education
-
eBooks
-
Audio Books
-
Film & TV
-
Calendars, Diaries & Stationery
-
Giftshop
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… more 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. less
- ISBN:
- 9780138055998
- 9780138055998
- Category:
- Programming & scripting languages: general
- Format:
- Paperback
- Publication Date:
- 27-02-1991
- Language:
- English
- Publisher:
- Pearson Education (US)
- Country of origin:
- United States
- Pages:
- 262
- Dimensions:
- 233x156x15mm
- Weight:
- 0.39kg
Click 'Notify Me' to get an email alert when this item becomes available
Reviews
This product has no reviews yet.
Thanks for reviewing Semantics Programming Languages. We will process your review. Accepted reviews will be posted within 3-7 business days.
You are buying a backorder title
×Be the first to know, stay up to date with what's trending and get staff picks in your inbox with our newsletter
Follow Us
Secured by:
Copyright 2025. All rights reserved.
Share This Book