Opening book details…
Can I read Theories of Programming Languages on EtoBox?
Theories of Programming Languages by Reynolds, John C., 1935- is a computer science book available to read on EtoBox.
What is Theories of Programming Languages about?
This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigor, but the mathematical development is balanced by numerous examples of applications, particu
Who reads Theories of Programming Languages?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Reynolds, John C., 1935-
- Publisher
- Cambridge ; New York: Cambridge University Press
- Published
- 2009
- Language
- EN
- ISBN
- 9780521594141
- Category
- computer science
- Subjects
- Computer Science, Computers, Reference
- Updated
- 2026-03-25
Other editions & translations
More by Reynolds, John C., 1935-
Browse all works by Reynolds, John C., 1935-
Similar books
- Foundations of Programming Languages — Kent D. Lee (2017)
- Essentials of Programming Languages, Third Edition — Daniel P. Friedman; Mitchell Wand (2008)
- Programming Languages 1977 — Allen B. Tucker, Jr (1977)
- Handbook of Programming Languages. Volume IV, Functional and Logic Programming Languages — Peter H. Salus, series editor in chief (1998)
- Programming Languages : An Active Learning Approach — Kent D. Lee (2008)
- Concepts of Programming Languages — Robert W. Sebesta (2012)