Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Gunter, Carl A.
ISBN 10: 0262071436 ISBN 13: 9780262071437
Published by Mit Pr (edition First Edition), 1992
Used
Hardcover
From
BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 2 February 2016
This specific item is no longer available.
About this Item
Description:
Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 0262071436-11-1
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.
Bibliographic Details
Title: Semantics of Programming Languages: ...
Publisher: Mit Pr (edition First Edition)
Publication Date: 1992
Binding: Hardcover
Condition: Good
Edition: First Edition.
Top Search Results from the AbeBooks Marketplace
Seller Image
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
Seller: Greenworld Books, Arlington, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. Fast Free Shipping â" Good condition book with a firm cover and clean, readable pages. Shows normal use, including some light wear or limited notes highlighting, yet remains a dependable copy overall. Supplemental items like CDs or access codes may not be included. Seller Inventory # GWV.0262071436.G
Stock Image
Semantics of Programming Languages : Structures and Techniques
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP82614548
Stock Image
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned0262071436