Programming Books C Java PHP Python Learn more Browse Programming Books
  • List Price: $112.50
  • Save: $5.62 (5%)
Only 1 left in stock (more on the way).
Ships from and sold by
Gift-wrap available.
Add to Cart
Want it Tuesday, April 22? Order within and choose One-Day Shipping at checkout. Details
FREE Shipping on orders over $35.
Used: Very Good | Details
Condition: Used: Very Good
Comment: Semantics of Programming Languages Structures and Techniques by Carol A Gunter Very minor wear to the cover - no other flaws!
Add to Cart
Have one to sell?
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more

Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) Hardcover

ISBN-13: 978-0262071437 ISBN-10: 0262071436

See all 3 formats and editions Hide other formats and editions
Amazon Price New from Used from Collectible from
"Please retry"
$23.68 $4.00



Shop the new
New! Introducing the, a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Product Details

  • Series: Foundations of Computing
  • Hardcover: 441 pages
  • Publisher: The MIT Press (September 14, 1992)
  • Language: English
  • ISBN-10: 0262071436
  • ISBN-13: 978-0262071437
  • Product Dimensions: 9.3 x 7.3 x 1.2 inches
  • Shipping Weight: 2 pounds (View shipping rates and policies)
  • Average Customer Review: 4.0 out of 5 stars  See all reviews (2 customer reviews)
  • Amazon Best Sellers Rank: #1,591,633 in Books (See Top 100 in Books)

Editorial Reviews


"Gunter's book treats the essence of programming language theory—the span between the "meaning" of a computer program, and the concrete and intricate ways in which programs are executed by a machine. He brings together the established theoretical advances in this range. It is rewarding for someone who has played a small part in these developments to see them laid out so expertly, and with such pedagogic concern; readers new to the field—and many who already know a lot about it—will also be rewarded by following its carefully designed path." Professor Robin Milner, University of Edinburgh

About the Author

Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania.

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

4.0 out of 5 stars
5 star
4 star
3 star
2 star
1 star
See both customer reviews
Share your thoughts with other customers

Most Helpful Customer Reviews

11 of 11 people found the following review helpful By Benjamin L. Russell on May 11, 2006
Format: Hardcover
As an undergraduate student in the Computer Science major at Yale University during the spring semester of 1992 - 93, I used this textbook in Professor Paul Hudak's class "Computer Science 430b: Formal Semantics."

Personally, I enjoyed using this textbook. It went into great detail into the theory of formal semantics of programming languages, using the lambda calculus. Having come from a background in the Scheme programming language, I immediately found the syntax of the lambda calculus familiar, as it had originally been used as the basis for the LISP programming language, of which Scheme was a variant.

Most of the equations and proofs were clear and relatively easy to understand with reasonable effort, although Professor Hudak did suggest more elegant alternatives for some of the equations.

The simply-typed lambda calculus, introduced in Chapter 2, proved a relatively easy-to-understand beginning basis for grasping the concepts of formal semantics. The book ventured on to discuss category theory, fixed-point semantics, untyped lambda calculus, and domain theory, among many other topics. In particular, I found the discussions on the simply-typed lambda calculus, category theory, and domain theory interesting.

This textbook, together with Paul Hudak's crisp and easy-to-understand teaching style, remain as some of my more pleasant memories from the otherwise brutal and grinding Yale computer science curriculum. Together, they are part of the reason that Scheme, with its basis on the lambda calculus, remains one of my favorite programming languages for the study of programming methodologies.

Benjamin L. Russell
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
3 of 11 people found the following review helpful By Asim on February 20, 2003
Format: Hardcover
This book has a deep coverage; should be enjoyed with a lot of patience and suitable cross references.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

Product Images from Customers


What Other Items Do Customers Buy After Viewing This Item?