Programming Books C Java PHP Python Learn more Browse Programming Books
Qty:1
  • List Price: $112.50
  • Save: $20.20 (18%)
Only 2 left in stock (more on the way).
Ships from and sold by Amazon.com.
Gift-wrap available.
FREE Shipping on orders over $35.
Condition: Used: Good
Comment: Hardcover as shown in good clean condition, corner clipped on front flyleaf page.
Access codes and supplements are not guaranteed with used items.
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) Hardcover – September 14, 1992

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

Buy New
Price: $92.30
12 New from $34.67 21 Used from $8.61 1 Collectible from $117.64
Amazon Price New from Used from
Hardcover
"Please retry"
$92.30
$34.67 $8.61
Year-End%20Deals%20in%20Books

Frequently Bought Together

Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) + Foundations for Programming Languages (Foundations of Computing)
Price for both: $182.55

Buy the selected items together
NO_CONTENT_IN_FEATURE

Holiday Deals in Books
Holiday Deals in Books
Find deals for every reader in the Holiday Deals in Books store, featuring savings of up to 50% on cookbooks, children's books, literature & fiction, and more.

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: 7 x 1.1 x 9 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,282,889 in Books (See Top 100 in Books)

Editorial Reviews

Review

"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
0
4 star
2
3 star
0
2 star
0
1 star
0
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

What Other Items Do Customers Buy After Viewing This Item?