Semantics of Programming Languages : Structures and Techniques

Gunter, Carl A.

3.50 out of 5 stars

10 ratings by Goodreads

ISBN 10: 0262071436 ISBN 13: 9780262071437

Published by MIT Press, 1992

Language: English

Condition: Used - Good Hardcover

Save for Later

Sold by Better World Books, Mishawaka, IN, U.S.A.

AbeBooks Seller since August 3, 2006

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Used - Good

Price: US$ 59.32 Convert Currency

Free shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.

Seller Inventory # GRP82614548

Contact seller

Report this item

Bibliographic Details

Title

Semantics of Programming Languages : Structures and Techniques

Publisher

MIT Press

Publication Date

1992

Language

English

ISBN 10

0262071436

ISBN 13

9780262071437

Binding

Hardcover

Condition

Good

Seller catalogs

About this title

Synopsis

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.

About the Author

Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania.

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

Store Description

Better World Books (https://www.BetterWorldBooks.com) is a for-profit, socially conscious business and a global online bookseller that collects and sells new and used books online, matching each purchase with a book donation. Each sale generates funds for literacy and education initiatives in the U.S., the UK, and around the world. Since its launch in 2003, Better World Books has raised $33 million for libraries and literacy, donated over 32 million books, and reused or recycled more than 397 million books.

Visit Seller's Storefront

Seller's business information

Better World Books Marketplace, Inc.
55740 Currant Road, Mishawaka, IN, 46545, U.S.A.

Sale & Shipping Terms

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 mostl...

More Information

Shipping Terms

Please allow 1-2 business days for order fulfillment.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 8 business days	3 to 5 business days
First item	US$ 0.00	US$ 10.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.