Programming Books C Java PHP Python Learn more Browse Programming Books
Qty:1
  • List Price: $112.50
  • Save: $23.17 (21%)
Only 1 left in stock (more on the way).
Ships from and sold by Amazon.com.
Gift-wrap available.
Add to Cart
FREE Shipping on orders over $35.
Condition: Used: Very Good
Comment: Gently Used Book, Clean Pages, Tight Binding, Minor Wear, Ships Now.
Access codes and supplements are not guaranteed with used items.
Add to Cart
Trade in your item
Get a $0.36
Gift Card.
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: $89.33
12 New from $34.72 19 Used from $9.68
Amazon Price New from Used from
Hardcover
"Please retry"
$89.33
$34.72 $9.68

Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student



Frequently Bought Together

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

Buy the selected items together

NO_CONTENT_IN_FEATURE

Shop the new tech.book(store)
New! Introducing the tech.book(store), 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.4 x 7.5 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,531,619 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

Customer Images

Search

What Other Items Do Customers Buy After Viewing This Item?