Overview
- Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to think, design, and implement programming languages Proposes a unified vision of the different formalisms that permit definition of a programming language Presents in a synthetic way what all computer scientists, whatever their speciality is, should know
- Includes supplementary material: sn.pub/extras
Part of the book series: Undergraduate Topics in Computer Science (UTICS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
Keywords
About this book
Reviews
From the reviews:
“The book is divided into eight chapters and an epilogue. … Faculty teaching an undergraduate programming languages course may find this book to be a useful reference. Summing Up: Recommended. Upper-division undergraduates through professionals/practitioners.” (J. Beidler, Choice, Vol. 48 (10), June, 2011)
“It is a short book--of about 100 pages--consisting of eight chapters and an epilogue. The book focuses on the formal description of programming language semantics and compilation using denotational semantics, small-step operational semantics (reduction semantics), and big-step operational semantics (natural semantics). … The book provides a good description of programming language concepts and motivates the necessary theory well. … The book is suitable for both professionals and graduate- and advanced undergraduate-level classes.” (Michael Oudshoorn, ACM Computing Reviews, November, 2011)
Authors and Affiliations
About the authors
Bibliographic Information
Book Title: Introduction to the Theory of Programming Languages
Authors: Gilles Dowek, Jean-Jacques Lévy
Series Title: Undergraduate Topics in Computer Science
DOI: https://doi.org/10.1007/978-0-85729-076-2
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London Limited 2011
Softcover ISBN: 978-0-85729-075-5Published: 15 December 2010
eBook ISBN: 978-0-85729-076-2Published: 09 December 2010
Series ISSN: 1863-7310
Series E-ISSN: 2197-1781
Edition Number: 1
Number of Pages: XII, 96
Topics: Theory of Computation, Logics and Meanings of Programs