Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
International Access
Global Shipping Options Available
  Our Catalog   Computers & Technology

Formal Semantics of Programming Languages


Huge Savings Item! Save 14% on the Formal Semantics of Programming Languages by The MIT Press at Translate This Website. MPN: 9780262731034. Hurry! Limited time offer. Offer valid only while supplies last. 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


Product Description & Reviews

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.

Features & Highlights

Additional Information

Manufacturer:The MIT Press
Part Number:9780262731034
Publisher:The MIT Press
Studio:The MIT Press
MPN:9780262731034
EAN:9780262731034
Item Weight:1.57 pounds
Item Size:0.69 x 9 x 9 inches
Package Weight:1.3 pounds
Package Size:7.1 x 0.9 x 0.9 inches

Formal Semantics of Programming Languages by The MIT Press

Buy Now:
Formal Semantics of Programming Languages

4.0 out of 5 stars with 253 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$70.00
$60.58
You Save: 13%


Quantity:  

 


 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Name:
Email Address:
Your Message:

Related Best Sellers


Seven More Languages in Seven Weeks: Languages That Are Shaping the Future
By Pragmatic Bookshelf
mpn: black & white illustrations, ean: 9781941222157, isbn: 1941222153,

The Unified Modeling Language User Guide (2nd Edition) (Addison-Wesley Object Technology Series)
By Addison-Wesley Professional
ean: 9780134852157, isbn: 9780134852157,

Pimsleur Dutch Basic Course - Level 1 Lessons 1-10 CD: Learn to Speak and Understand Dutch with Pimsleur Language Programs
By Brand: Pimsleur
ean: 9780671047788, isbn: 9780671047788,

Moving From Spoken to Written Language With ELLs
By Corwin
mpn: 9781452280363, ean: 9781452280363, isbn: 9781452280363,

Introduction to Natural Language Processing: Concepts and Fundamentals for Beginners
By CreateSpace Independent Publishing Platform
ean: 9781724811745, isbn: 9781724811745,

Pimsleur Czech Basic Course - Level 1 Lessons 1-10 CD: Learn to Speak and Understand Czech with Pimsleur Language Programs
By Pimsleur
ean: 9780743551250, isbn: 0743551257,

Getting Started with the Graph Template Language in SAS: Examples, Tips, and Techniques for Creating Custom Graphs
By SAS Institute
mpn: black & white illustrations, ean: 9781612907123, isbn: 9781612907123,

Windows 64-bit Assembly Language Programming Quick Start: Intel X86-64, SSE, AVX
By Gaul Communications
mpn: 0970112467, ean: 9780970112460, isbn: 0970112467,

Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages (Pragmatic Programmers)
By Brand: Pragmatic Bookshelf
mpn: 978-1-934356-45-6, ean: 9781934356456, isbn: 193435645X,

Natural Language Processing and Computational Linguistics: A practical guide to text analysis with Python, Gensim, spaCy, and Keras
By Packt Publishing - ebooks Account
ean: 9781788838535, isbn: 178883853X,



Privacy Policy / Terms of Service / Accessibility Statement
© 2019 - translateth.is. All Rights Reserved.