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

Theories of Programming Languages

Theories of Programming Languages
Details | Description | Customer Reviews
By: John C. Reynolds (Author)  (Hardcover - 1998)
Eligible for FREE Super Saver Shipping.
Availability:   Usually ships in 24 hours  
 
List Price:   $80.00 Our Price:  $62.79 Save:  22%
Product Details
More Buying Choices

34 used & new   from  $30.36
 
 
Have one to sell?
   
» Hardcover: (514 pages)
» Publisher:  Cambridge University Press (October 13, 1998)
» ISBN: 0521594146
» Product Dimensions: 10 x 7.2 x 1.1 inches
» Amazon.com Sales Rank: #2,033,275 in Books
» Average Customer Review: 
     
 
 
Book Description
This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigor, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including the use of continuations and lazy evaluation), and type systems (including subtyping, polymorphism, and modularization). Assuming only knowledge of elementary programming, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and will also appeal to researchers and professionals in designing or implementing computer languages.



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

6 of 8 people found the following review helpful
4.0 out of 5 stars Short and sweet, November 20, 2000
By 
This review is from: Theories of Programming Languages (Hardcover)
The book addresses various features of programming languages from a mathematical viewpoint. It discusses semantics of things from simple imperative language to failure to concurrency issues using channel based and shared memory concepts. It is a good book to get an idea about most of this concepts if you do away with the math involved. If you can swallow the math you will be able to come up with semantics for various systems fairly quickly. I have read the Winskel's book on semantics. I feel this book is a touch away from all the math stuff compared to Winskel's book. It would be better to refer to Winskels book after this book.
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