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
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.
|Manufacturer:||The MIT Press|
|Publisher:||The MIT Press|
|Studio:||The MIT Press|
|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|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by The MIT Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By Pragmatic Bookshelf
mpn: black & white illustrations, ean: 9781941222157, isbn: 1941222153,
Great programmers aren't born--they're made. The industry is moving from object-oriented languages to functional languages, and you need to commit to radical improvement. New programming languages arm you with the tools and idioms you need to refine ...
By Addison-Wesley Professional
ean: 9780134852157, isbn: 9780134852157,
For nearly ten years, the Unified Modeling Language (UML) has been the industry standard for visualizing, specifying, constructing, and documenting the artifacts of a software-intensive system. As the de facto standard modeling language, the UML faci...
By Brand: Pimsleur
ean: 9780671047788, isbn: 9780671047788,
The Pimsleur® Method: the easiest, fastest way to learn a new language. Completely portable, easily downloadable, and lots of fun. You’ll be speaking and understanding in no time flat! This course includes Lessons 1-10 from the Dutch Level 1 Progr...
mpn: 9781452280363, ean: 9781452280363, isbn: 9781452280363,
Mastering spoken language is the key to writing success for English Language Learning ELLs struggle to meet the writing demands of the Common Core State Standards. In this book, ELL expert Ivannia Soto demonstrates how oral language development is t...
By CreateSpace Independent Publishing Platform
ean: 9781724811745, isbn: 9781724811745,
***** BUY NOW (will soon return to 19.89 $) ***** MONEY BACK GUARANTEE BY AMAZON (See Below FAQ) ***** ***Free eBook for customers who purchase the print book from Amazon*** Are you thinking of learning more about Natural Language Processing (NLP)? ...
ean: 9780743551250, isbn: 0743551257,
The Pimsleur® Method: the easiest, fastest way to learn a new language. Completely portable, easily downloadable, and lots of fun. You’ll be speaking and understanding in no time flat! This course includes Lessons 1-10 from the Czech Level 1 Progr...
By SAS Institute
mpn: black & white illustrations, ean: 9781612907123, isbn: 9781612907123,
You've just received a new survey of study results, and you need to quickly create custom graphical views of the data. Or, you've completed your analysis, and you need graphs to present the results to your audience, in the style that they prefer. Now...
By Gaul Communications
mpn: 0970112467, ean: 9780970112460, isbn: 0970112467,
Windows® 64-bit Assembly Language Programming Quick Start is a complete tutorial using the free Community Edition of Microsoft® Visual Studio 17 to introduce the novice to the Intel® X86-64 architecture and the Windows X64 Calling Convention. Wit...
By Brand: Pragmatic Bookshelf
mpn: 978-1-934356-45-6, ean: 9781934356456, isbn: 193435645X,
Learn to build configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpreters. You don't need a background in computer science--ANTLR creator Terence Parr demystifies language ...
By Packt Publishing - ebooks Account
ean: 9781788838535, isbn: 178883853X,
Work with Python and powerful open source tools such as Gensim and spaCy to perform modern text analysis, natural language processing, and computational linguistics algorithms.Key FeaturesDiscover the open source Python text analysis ecosystem, using...