1992 hardcover no dust jacket as issued clean crisp unmarked pages, clean text very faint ageing along edge of pages tight bind no bumped corners 419 pages M-4.

Seller Inventory # 0624H7NUHDM

Contact seller

Report this item

Bibliographic Details

Title: Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
Publisher: Mit Pr
Publication Date: 1992
Language: English
ISBN 10: 0262071436
ISBN 13: 9780262071437
Binding: Hardcover
Condition: Used: Very Good

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

Visit Seller's Storefront

Seller's business information

CONTINENTAL MEDIA & BEYOND
FL, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. 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

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	2 to 6 business days
First item	US$ 6.99	US$ 10.99

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.