Skip to content

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

Semantics of Programming Languages: Structures and Techniques Hardcover - 1992

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 Hardcover
  • Pages 441
  • Volumes 1
  • Language ENG
  • Publisher MIT Press, Cambridge, Massachusetts, U.S.A. & London, U.K.
  • Date 1992-09
  • ISBN 9780262071437 / 0262071436
  • Weight 2.01 lbs (0.91 kg)
  • Dimensions 9.34 x 7.29 x 1.19 in (23.72 x 18.52 x 3.02 cm)
  • Ages 18 to UP years
  • Grade levels 13 - UP
  • Library of Congress subjects Programming languages (Electronic computers)
  • Library of Congress Catalog Number 92-10172
  • 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 (Foundations of Computing)...
Stock Photo: Cover May Be Different

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

by Gunter, Carl A.

  • Used
Condition
UsedLikeNew The cover shows no damage or marks.
ISBN 10 / ISBN 13
9780262071437 / 0262071436
Quantity Available
1
Seller
South San Francisco, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$69.11
CA$6.91 shipping to USA

Show Details

Description:
UsedLikeNew The cover shows no damage or marks. .
Item Price
CA$69.11
CA$6.91 shipping to USA
SEMANTICS OF PROGRAMMING LANGUAGES. Structures And Techniques.
Stock Photo: Cover May Be Different

SEMANTICS OF PROGRAMMING LANGUAGES. Structures And Techniques.

by Gunter, Carl A.

  • Used
  • Fine
  • Hardcover
Condition
Used - Fine
Binding
Hardcover
ISBN 10 / ISBN 13
9780262071437 / 0262071436
Quantity Available
1
Seller
North Reading, Massachusetts, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$103.78
CA$6.92 shipping to USA

Show Details

Description:
MIT Press:, 1993. First published in 1992, this book is the second printing from 1993, 419 pages, illustrated with Tables and Figures. "This book expounds the basic motivations and philosophy underlying the applications of semantic techniques in programming language theory. There is an emphasis on the structures used in semantics and the techniques that have been developed for relating various approaches to the semantics of programming languages, particularly for languages with higher-order functions. Type semantics are the central organizational theme of the discussion." FINE HARDCOVER.. Hard Cover. Fine/Not Issued with a Dust Jacket.. 8vo - over 7¾" - 9¾" tall.
Item Price
CA$103.78
CA$6.92 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 Gunter, Carl A

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780262071437 / 0262071436
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$161.68
CA$7.54 shipping to USA

Show Details

Description:
The MIT Press, 1992-09-14. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
CA$161.68
CA$7.54 shipping to USA