Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
Carl A. Gunter
ISBN 10: 0262570955 ISBN 13: 9780262570954
Published by The MIT Press, 1992
New
Paperback
From
Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since January 6, 2003
This specific item is no longer available.
About this Item
Description:
441 pages. 9.25x7.50x1.00 inches. In Stock. Seller Inventory # __0262570955
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: The MIT Press
Publication Date: 1992
Binding: Paperback
Condition: Brand New
Top Search Results from the AbeBooks Marketplace
Stock Image
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Seller Inventory # M00262570955-G
Quantity: 1 available
Stock Image
Semantics of Programming Languages: Structures and Techniques
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9780262570954. Seller Inventory # 8984459
Quantity: 1 available
Stock Image
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 441 pages. 9.25x7.50x1.00 inches. In Stock. Seller Inventory # 0262570955
Quantity: 1 available