The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
Language: English
Published by Mit Pr, 1993
- Hardcover
- Used
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.Goodwill of Silicon Valley
AbeBooks seller since June 28, 2024
Condition: Used - Good
US$ 40.49
Quantity: 1 available
Add to basketItem description from seller
Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.
Seller Inventory # GWSVV.0262231697.G
- Title
- The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
- Author
- Winskel, Glynn
- Publisher
- Mit Pr
- Publication year
- 1993
- Condition
- good
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0262231697
- ISBN 13
- 9780262231695
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.
Goodwill of Silicon Valley
SAN JOSE, CA, U.S.A.
AbeBooks seller since June 28, 2024
Shipping rates within U.S.A.
| Item | 3 to 5 business days | 1 to 3 business days |
|---|---|---|
| First item | US$ 3.99 | US$ 7.99 |
Payment methods
Store description
Goodwill of Silicon Valley’s mission is to support our employees, our customers, and people with challenging barriers to employment; to raise their standard of living and improve their lives through our services and social enterprise. Founded in Santa Clara County in 1928, Goodwill of Silicon Valley is dedicated to improving employment opportunities, increasing standards of living, providing economic independence, and restoring our clients’ sense of self-worth. We do this through workforce creation, vocational training, and environmental stewardship. With 18 retail stores, an online store, an extensive reuse/recycling operation, and our Contract Services division, we help people overcome barriers to employment, build sustainable livelihoods, and transform their lives and communities.…
Specialty
All, potentially Comics and Collectibles as wellSeller's business information
Goodwill of Silicon Valley
1080 North 7th Street
San Jose, CA U.S.A. 95112
Terms of sale
We guarantee the condition of every book as it's described on the Abebooks website. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the [Ask bookseller a question] link to contact us and we'll respond within 2 business days.
Shipping terms
Books are shipped 1-2 business days following receipt of payment.
Standard Flat rate $3.99 shipping per item via UPS. Delivery between 3-8 days depending on location in U.S. We are located in California.