Semantics of Programming Languages : Structures and Techniques
Language: English
Published by MIT Press, 1992
- Hardcover
- Used
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
AbeBooks seller since October 13, 2008
Condition: Used - Good
US$ 19.35
Quantity: 1 available
Add to basketItem description from seller
Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Seller Inventory # 39722100-6
- Title
- Semantics of Programming Languages : Structures and Techniques
- Author
- Gunter, Carl A.
- Publisher
- MIT Press
- Publication year
- 1992
- Condition
- Good
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0262071436
- ISBN 13
- 9780262071437
- Item weight
- 2.209 pounds
- Dimensions
- N/A
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi.
Basic connections between computational behavior, denotational semantics, and the equational logic of functional programs are thoroughly and rigorously developed. Topics covered include models of types, operational semantics, category theory, domain theory, fixed point (denotational). semantics, full abstraction and other semantic correspondence criteria, types and evaluation, type checking and inference, parametric polymorphism, and subtyping. All topics are treated clearly and in depth, with complete proofs for the major results and numerous exercises.
"Synopsis" may belong to another edition of this title.
About the Author
Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania.
"About the title" may belong to another edition of this title.
Better World Books Ltd
Dunfermline, United Kingdom
AbeBooks seller since October 13, 2008
Shipping rates from United Kingdom to U.S.A.
| Item | 11 to 28 business days | 11 to 28 business days |
|---|---|---|
| First item | US$ 6.70 | US$ 6.70 |
Payment methods
Store description
Better World Books is the world’s leading socially conscious online bookseller and has sold over 100 million books. Each sale generates funds for global literacy. We offer low prices, fast shipping, and have a 100% money back guarantee.
Seller's business information
Better World Books LTD.
THIRD FLOOR, ONE LONDON SQUARE, CROSS LANES
GUILDFORD, United Kingdom GU1 1UN
Terms of sale
Better World Books (BWB) values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product.
If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Abebooks contact seller options before proceeding with the return.Please keep in mind that because we deal mostly in used books, any extra components, such as CDs, DVDs, figurines, or access codes are not included.
Shipping terms
Please allow 1-2 business days for order fulfillment.