Opening book details…
Can I read Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES) on EtoBox?
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES) by Carl A. Gunter is a computer science book available to read on EtoBox.
What is Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES) about?
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.
Who reads Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Carl A. Gunter
- Publisher
- The MIT Press
- Published
- 1992
- Language
- EN
- ISBN
- 9780262570954
- Category
- computer science
- Subjects
- Programming, Computers, Computer Science
- Updated
- 2026-03-25
Other editions & translations
More by Carl A. Gunter
Browse all works by Carl A. Gunter
Similar books
- Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning (River Publishers Series in Software Engineering) — Fabrizio Riguzzi (2018)
- The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing) — Winskel, G. (Glynn) (1993)
- The Structure of Typed Programming Languages (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES) — David A. Schmidt (1994)
- Foundations for Programming Languages (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES) — John C. Mitchell (1996)
- Foundations of Object-Oriented Languages : Types and Semantics — Kim B Bruce; NetLibrary, Inc (2002)
- Semantics of Programming Languages (Prentice Hall International Series in Computer Science) — Tennent, R. D., 1944- (1991)