This book is in good condition; no remainder marks. It does have some cover shelfwear, edge wear, corner wear. Inside pages are clean. ; 7 X 0.87 X 9 inches; 384 pages.

Seller Inventory # 05GW25-214-268a

Contact seller

Report this item

Bibliographic Details

Title: Formal Semantics of Programming Languages
Publisher: The MIT Press
Publication Date: 1993
Language: English
ISBN 10: 0262731037
ISBN 13: 9780262731034
Binding: Paperback
Condition: Good

About this title

Synopsis

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.

About the Author

Glynn Winskel is Professor of Computer Science at the University of Aarhus, Denmark.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

Mahler Books
TX, U.S.A.

Sale & Shipping Terms

Terms of Sale

If you plan to pay by check or money order, please do NOT make the check or money order payable to Mahler Books, or we will not be able to accept it. Please make checks or money orders payable to Erik R Magnuson. Books may be returned within 15 days for a full refund so long as they are in the same condition when sold. Please contact us prior to returning a product.

Shipping Terms

Orders usually ship within 2 business days. Shipping costs are based on standard-sized books weighing up to 4 LB, or 1.8 KG. If your book order is heavy and/or over-sized and the shipping address is OUTSIDE of The United States, we may contact you to let you know extra shipping is required.

At Mahler Books, we make no attempt to over-charge for shipping. Sometimes International buyers are surprised to discover the high cost of shipping heavy or over-sized books.
If you are located OUTSIDE of The United States, and you are ordering a heavy or over-sized book, the shipping costs are estimated to be about 42 US dollars. This is the cost of the Global Priority Flat Rate Box. I agree that this shipping cost seems excessive, but this is what the Postal Service charges me, and this is the cheapest rate I have been able to locate for large books weighing over 1.8 KG.