Overview
- Focuses on describing the semantics of programming languages at a deep level
- Suitable for undergraduate and graduate courses in computer science and electronics engineering
- Author among the pioneers in the development and application of formal methods for the design and verification of computer systems
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
Early in the book the author introduces a simple notation, a meta-language, used to record descriptions of the semantics of languages. In a practical approach, he considers dozens of issues that arise in current programming languages and the key techniques that must be mastered in order to write the required formal semantic descriptions. The book concludes with a discussion of the eight key challenges: delimiting a language (concrete representation), delimiting the abstract content of a language, recording semantics (deterministic languages), operational semantics (non-determinism), context dependency, modelling sharing, modelling concurrency, and modelling exits.
The content is class-tested and suitable for final-year undergraduate and postgraduate courses. It is also suitable for any designer who wants to understand languages at a deep level. Most chapters offer projects, some of these quite advanced exercises that ask for complete descriptions of languages, and the book is supported throughout with pointers to further reading and resources. As a prerequisite the reader should know at least one imperative high-level language and have some knowledge of discrete mathematics notation for logic and set theory.
Reviews
“This book is much more than a textbook … . Overall, the book is very well written and organised. … this book is a very good tour of the history and development of mainstream programming languages from a formal methods perspective. It is both technically sound and a well-structured narrative. I would consider this a must-read for anyone in the discipline of formal methods.” (Andrew Butterfield, Formal Aspects of Computing, Vol. 34 (3-4), November, 2022)
“One of the great strengths of this book … is the continual reference to the research culture, both contemporary and historical. There are voluminous references, copious footnotes and a light-touch set of asides on the history of ideas in this field which I think will strongly motivate the best students to read and fully engage with the topic,and to understand that there are open questions and opportunities to make their own future contributions.” (Adrian Johnstone, bcs.org, July, 2021)
“This well-written textbook focuses on a precise description of programming language semantics in a relatively easily understood manner, utilizing a notation derived from a subset of the Vienna development method (VDM). … The author developed both the formalism and textbook over an extended period, using ten years of classes to refine the content. The resultant book is easy to read, well organized, and appropriate for an upper-level undergraduate or graduate class.” (Michael Oudshoorn, Computing Reviews, June 29, 2021)
Authors and Affiliations
About the author
Bibliographic Information
Book Title: Understanding Programming Languages
Authors: Cliff B. Jones
DOI: https://doi.org/10.1007/978-3-030-59257-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Hardcover ISBN: 978-3-030-59256-1Published: 18 November 2020
Softcover ISBN: 978-3-030-59259-2Published: 18 November 2021
eBook ISBN: 978-3-030-59257-8Published: 17 November 2020
Edition Number: 1
Number of Pages: XI, 229
Number of Illustrations: 25 b/w illustrations, 17 illustrations in colour
Topics: Theory of Computation, Professional Computing, Software Engineering/Programming and Operating Systems