Semantics of Programming Languages: Structures and Techniques

by Carl A. Gunter

Book Overview

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...

• Format: Hardcover
• Language: English
• ISBN: 0262071436
• ISBN13: 9780262071437
• Release Date: September 1992
• Publisher: MIT Press
• Length: 441 Pages
• Weight: 2.10 lbs.
• Dimensions: 1.2" x 7.3" x 9.3"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher