Authors:
- 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)
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
-
Back Matter
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
-
Labo. d'Informatique, École Polytechnique, Palaiseau CX, France
Gilles Dowek
-
Centre de Recherche Commun, INRIA-Microsoft Research, Parc Orsay Université, Orsay Cedex, France
Jean-Jacques Lévy
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