Items related to Semantics of Programming Languages: Structures and...

Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) - Softcover

  • 3.50 out of 5 stars
    10 ratings by Goodreads
 
9780262570954: Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)

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.

"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 this title" may belong to another edition of this title.

  • PublisherMIT Press
  • Publication date1992
  • ISBN 10 0262570955
  • ISBN 13 9780262570954
  • BindingPaperback
  • LanguageEnglish
  • Number of pages444
  • Rating
    • 3.50 out of 5 stars
      10 ratings by Goodreads

Buy Used

Condition: Good
Befriedigend/Good: Durchschnittlich...
View this item

US$ 10.26 shipping from Germany to U.S.A.

Destination, rates & speeds

Buy New

View this item

US$ 13.53 shipping from United Kingdom to U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9780262071437: Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)

Featured Edition

ISBN 10:  0262071436 ISBN 13:  9780262071437
Publisher: Mit Pr, 1992
Hardcover

Search results for Semantics of Programming Languages: Structures and...

Stock Image

Gunter, Carl A.
Published by MIT Press, 1992
ISBN 10: 0262570955 ISBN 13: 9780262570954
Used Softcover

Seller: medimops, Berlin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 44.35
Convert currency
Shipping: US$ 10.26
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Gunter, C. A.
Published by The MIT Press, 1992
ISBN 10: 0262570955 ISBN 13: 9780262570954
Used Softcover

Seller: Anybook.com, Lincoln, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 79.46
Convert currency
Shipping: US$ 17.42
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Carl A. Gunter
Published by The MIT Press, 1992
ISBN 10: 0262570955 ISBN 13: 9780262570954
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 441 pages. 9.25x7.50x1.00 inches. In Stock. Seller Inventory # __0262570955

Contact seller

Buy New

US$ 95.34
Convert currency
Shipping: US$ 13.53
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket