View Cart
Our agreement with enables us to offer a fine selection of magazines for IT professionals and home computing enthusiasts about topics such as personal computing and application development. Browse by category or use our advanced search service to search by title, publisher, or keyword.
If you find something that appeals to you, add it to your cart with confidence knowing that you'll get's lowest price. When you're ready to buy, we'll take you to Amazon's pages for final checkout and payment.
100% of all commissions earned by Kazzlo International are donated to Project Respond, a public charity dedicated to a greener, healthier planet and sponsor of initiatives such as the Green School Scholarship Award program.
Perform a New Search

Foundations for Programming Languages (Foundations of Computing)

Foundations for Programming Languages (Foundations of Computing)

Details | Description | Customer Reviews
By: John C. Mitchell (Author)  (Hardcover - 1996)
Eligible for FREE Super Saver Shipping.
Availability:   Usually ships in 24 hours  
List Price:   $95.00 Our Price:  $90.25 Save:  5%
Product Details
More Buying Choices

37 used & new   from  $24.97
Have one to sell?
» Hardcover: (845 pages)
» Publisher The MIT Press (September 01, 1996)
» ISBN: 0262133210
» Product Dimensions: 9.3 x 7.4 x 1.8 inches
» Sales Rank: #1,452,098 in Books
» Average Customer Review
Book Description
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems.Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic.Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series

Customer Reviews
Average Customer Review
4 Reviews
5 star:
4 star:
3 star:    (0)
2 star:    (0)
1 star:

17 of 17 people found the following review helpful
4.0 out of 5 stars Excellent reference for most PL semantics topics, August 14, 2003
This review is from: Foundations for Programming Languages (Foundations of Computing) (Hardcover)
This has been my standard desk reference for PL semantics since I started the PhD process five years ago, and I've nearly worn it out.
Be advised that this is definitely not a first book, and that most of the covered topics have simpler introductory treatments elsewhere. This book is mainly a pure semantics work, along the lines of Winskel, Gunter, Tennent, Slonneger, etc. It has no discussion of implementation techniques for any of the covered topics. For that, you're better off with Mitchell's other book, or Sethi or Friedman/Wand/Haynes. Topics covered are: axiomatic, structural operational, and denotational semantics, PCF (including the full abstraction problem), universal algebra, typed lambda calculi and their models (including imperative programs), the category-theoretic approach to domain theory, logical relations, and many chapters on type systems. Several of these topics are covered more extensively elsewhere (domains by Amadio & Curien, types by Pierce), but the... Read more
Help other customers find the most helpful reviews 
Was this review helpful to you? Yes No

5.0 out of 5 stars A fascinating book on program language semantics and type theory, June 22, 2014
Done with Amazon (Neptune--the outermost planet) - See all my reviews
Verified Purchase(What's this?)
This review is from: Foundations for Programming Languages (Foundations of Computing) (Hardcover)
I started reading this long book in June 2014 and at this writing am well into reading chapter 2, which at huge length introduces Dana Scott's prototype programming language PCF. The first lemmas/theorems/corollaries and their proofs in this book commence in section 2.5.5. At long last, 100 page chapter 2 complete and 90 page chapter 3 started late day of Wed 16Jul14. In at least long sections 3.3 and 3.4 the author puts us in full tilt denotational semantics without ever announcing that to us, but it works out fine anyway. Just an interesting point. I am not too fond of 'algebraic' chap 3, and so will likely not read 31 pg final section 3.7 of that. Did end read of chap 3 after 3.6.4 on Sun 3Aug14 afternoon. Started great chapter 4 on typed lambda calculus the following Monday. Overall, the book still seems to be terrifically interesting and masterfully written.

Typed lambda calculus is the technical home base of the reviewed book, and semantics of programming languages... Read more
Help other customers find the most helpful reviews 
Was this review helpful to you? Yes No

7 of 17 people found the following review helpful
5.0 out of 5 stars A good book for first year graduate student, May 22, 2000
This review is from: Foundations for Programming Languages (Foundations of Computing) (Hardcover)
This is a excellent book for a first year graduate student who studies modeling of information and computing. It's different from other similar books by view programming languages from lamda calculus.
Help other customers find the most helpful reviews 
Was this review helpful to you? Yes No

Share your thoughts with other customers:
 See all 4 customer reviews...
All brands, company, or product names or trademarks belong to their respective holders.
An AJAX error has occurred while processing the data