Skip to content

Semantics of Programming Languages: Structures and Techniques
Stock Photo: Cover May Be Different

Semantics of Programming Languages: Structures and Techniques Paperback - 1992 - 1st Edition

by Carl A. Gunter


From the publisher

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.

Details

  • Title Semantics of Programming Languages: Structures and Techniques
  • Author Carl A. Gunter
  • Binding Paperback
  • Edition number 1st
  • Edition 1
  • Pages 441
  • Volumes 1
  • Language ENG
  • Publisher MIT Press
  • Date 1992-09
  • ISBN 9780262570954 / 0262570955
  • Weight 1.79 lbs (0.81 kg)
  • Dimensions 9.06 x 6.9 x 0.99 in (23.01 x 17.53 x 2.51 cm)
  • Ages 18 to UP years
  • Grade levels 13 - UP
  • Dewey Decimal Code 005.13

About the author

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

Back to Top

More Copies for Sale

Semantics of Programming Languages: Structures and Techniques
Stock Photo: Cover May Be Different

Semantics of Programming Languages: Structures and Techniques

by Gunter, C. A.

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9780262570954 / 0262570955
Quantity Available
1
Seller
Lincoln, Lincolnshire, Aberdeen, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$100.82
CA$22.15 shipping to USA

Show Details

Description:
The MIT Press, 1992. 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
Item Price
CA$100.82
CA$22.15 shipping to USA
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
Stock Photo: Cover May Be Different

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

by Carl A. Gunter

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780262570954 / 0262570955
Quantity Available
1
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
CA$109.95
CA$17.37 shipping to USA

Show Details

Description:
The MIT Press, 1992. Paperback. New. 441 pages. 9.25x7.50x1.00 inches.
Item Price
CA$109.95
CA$17.37 shipping to USA