Register | 
submit
View Cart
Our agreement with Amazon.com 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 Amazon.com'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.
 
Help
Perform a New Search

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

Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
Details | Description | Customer Reviews
By: Carl A. Gunter (Author)  (Hardcover - 1992)
Eligible for FREE Super Saver Shipping.
Availability:   Usually ships in 24 hours  
 
List Price:   $112.50 Our Price:  $89.33 Save:  21%
Product Details
More Buying Choices

27 used & new   from  $9.68
 
 
Have one to sell?
   
» Hardcover: (441 pages)
» Publisher:  The MIT Press (September 14, 1992)
» ISBN: 0262071436
» Product Dimensions: 9.3 x 7.3 x 1.2 inches
» Amazon.com Sales Rank: #1,058,769 in Books
» Average Customer Review: 
     
 
 
Book Description
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi.Basic connections between computational behavior, denotational semantics, and the equational logic of functional programs are thoroughly and rigorously developed. Topics covered include models of types, operational semantics, category theory, domain theory, fixed point (denotational). semantics, full abstraction and other semantic correspondence criteria, types and evaluation, type checking and inference, parametric polymorphism, and subtyping. All topics are treated clearly and in depth, with complete proofs for the major results and numerous exercises.



Customer Reviews
Average Customer Review
4.0 out of 5 stars (2 customer reviews)
2 Reviews
5 star:    (0)
4 star:
 (2)
3 star:    (0)
2 star:    (0)
1 star:    (0)
 
 
 

11 of 11 people found the following review helpful
4.0 out of 5 stars Deep, lucid, interesting textbook on formal semantics using the lambda calculus., May 11, 2006
This review is from: Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) (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... Read more
Help other customers find the most helpful reviews 
Was this review helpful to you? Yes No


3 of 11 people found the following review helpful
4.0 out of 5 stars Theoretical computer science - Semantics, February 20, 2003
By 
This review is from: Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) (Hardcover)
This book has a deep coverage; should be enjoyed with a lot of patience and suitable cross references.
0
Help other customers find the most helpful reviews 
Was this review helpful to you? Yes No


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