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

Formal Semantics of Programming Languages

Formal Semantics of Programming Languages
Details | Description | Customer Reviews
By: Glynn Winskel (Author)  (Paperback - 1993)
Eligible for FREE Super Saver Shipping.
Availability:   Usually ships in 24 hours  
 
List Price:   $60.00 Our Price:  $40.87 Save:  32%
Product Details
More Buying Choices

57 used & new   from  $14.49
 
 
Have one to sell?
   
» Paperback: (384 pages)
» Publisher:  The MIT Press (February 05, 1993)
» ISBN: 0262731037
» Product Dimensions: 9.2 x 7.1 x 0.9 inches
» Amazon.com Sales Rank: #1,320,967 in Books
» Average Customer Review: 
     
 
 
Book Description
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects.Starting with basic set theory, structural operational semantics is introduced as a way to define the meaning of programming languages along with associated proof techniques. Denotational and axiomatic semantics are illustrated on a simple language of while-programs, and fall proofs are given of the equivalence of the operational and denotational semantics and soundness and relative completeness of the axiomatic semantics. A proof of Godel's incompleteness theorem, which emphasizes the impossibility of achieving a fully complete axiomatic semantics, is included. It is supported by an appendix providing an introduction to the theory of computability based on while-programs.Following a presentation of domain theory, the semantics and methods of proof for several functional languages are treated. The simplest language is that of recursion equations with both call-by-value and call-by-name evaluation. This work is extended to lan guages with higher and recursive types, including a treatment of the eager and lazy lambda-calculi. Throughout, the relationship between denotational and operational semantics is stressed, and the proofs of the correspondence between the operation and denotational semantics are provided. The treatment of recursive types - one of the more advanced parts of the book - relies on the use of information systems to represent domains. The book concludes with a chapter on parallel programming languages, accompanied by a discussion of methods for specifying and verifying nondeterministic and parallel programs.



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

8 of 29 people found the following review helpful
2.0 out of 5 stars Not recommend for a PL beginner., September 18, 2009
Verified Purchase(What's this?)
This review is from: Formal Semantics of Programming Languages (Paperback)
Bought this book for a graduate PL class. For the most part, the book covers basic semantics and syntax of PL, but does't provide enough explanations and examples so it's difficult to understand for a PL beginner!
0
Help other customers find the most helpful reviews 
Was this review helpful to you? Yes No


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