Authors:
- Provides the foundations and tools needed to design new programming languages and understand existing ones
- Explains in a concise way the most significant constructs of modern imperative, functional and logic programming languages
- Each chapter contains exercises that provide an opportunity to apply the concepts and techniques presented
- Includes supplementary material: sn.pub/extras
Part of the book series: Undergraduate Topics in Computer Science (UTICS)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Preliminaries
-
Front Matter
-
-
Imperative Languages
-
Front Matter
-
-
Functional Languages
-
Front Matter
-
-
Logic Languages
-
Front Matter
-
-
Back Matter
About this book
Reviews
From the book reviews:
“This text can serve as a complement to traditional undergraduate programming language course resources or as the main textbook for introductory courses in programming language operational semantics. The book is well organized, flows well, and is pleasant to read. … Summing Up: Recommended. Upper-division undergraduates and faculty.” (D. Papamichail, Choice, Vol. 52 (5), January, 2015)
“There are many things in this book that would lead to its recommendation as a course textbook: it provides a good breadth of material, and a stepping stone from programming experience to more theoretical aspects of programming languages. … it would be an excellent addition to a reference list that could be used to inform a solid understanding of programming language theory.” (Sara Kalvala, Computing Reviews, July, 2014)
Authors and Affiliations
-
King's College London, London, United Kingdom
Maribel Fernández
Bibliographic Information
Book Title: Programming Languages and Operational Semantics
Book Subtitle: A Concise Overview
Authors: Maribel Fernández
Series Title: Undergraduate Topics in Computer Science
DOI: https://doi.org/10.1007/978-1-4471-6368-8
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London 2014
Softcover ISBN: 978-1-4471-6367-1Published: 19 March 2014
eBook ISBN: 978-1-4471-6368-8Published: 08 July 2014
Series ISSN: 1863-7310
Series E-ISSN: 2197-1781
Edition Number: 1
Number of Pages: IX, 209
Number of Illustrations: 10 b/w illustrations
Topics: Software Engineering/Programming and Operating Systems, Programming Techniques, Programming Languages, Compilers, Interpreters, Theory of Computation, Logics and Meanings of Programs