The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
Language: English
Published by Mit Pr (edition First Edition), 1993
- First Edition
- Hardcover
- Used
Seller: BooksRun, Philadelphia, PA, U.S.A.BooksRun
AbeBooks seller since February 2, 2016
Condition: Used - Very good
US$ 38.79
Quantity: 1 available
Add to basketItem description from seller
It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Seller Inventory # 0262231697-11-1
- Title
- The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
- Author
- Winskel, Glynn
- Publisher
- Mit Pr (edition First Edition)
- Publication year
- 1993
- Condition
- Very Good
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0262231697
- ISBN 13
- 9780262231695
- Edition
- First Edition.
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.
"Synopsis" may belong to another edition of this title.
About the Author
"About the title" may belong to another edition of this title.
BooksRun
Philadelphia, PA, U.S.A.
AbeBooks seller since February 2, 2016
Shipping rates within U.S.A.
| Item | 3 to 8 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 3.99 |
Payment methods
Store description
BooksRun helps save money on books. Founded in 2014, we are an independent online bookseller with thousands of happy customers and top ratings. With millions of titles in stock, from fiction to textbooks, we have the best book selection and prices 90% below the list price. We ship all orders the same day or the next business day. Expedited shipping arrives in 2 - 5 business days. Returns are accepted within 30 days of delivery. We are committed to providing each customer with the highest standard of customer service. Please carefully check the book’s description and condition before ordering. If you have any questions or issues, please contact us first. Thank you for choosing BooksRun!…
Specialty
Сollege textbooks and trade booksSeller's business information
AZ Texts LLC
228 Park Ave S Suite 38827
New York, NY U.S.A. 10003
Terms of sale
30 days hassle-free returns guaranteed!