Jump to ratings and reviews
Rate this book

Principles of Programming Languages

Rate this book
The development of programming languages has profoundly impacted our relationship with language, complexity and machines. By introducing the principles of programming languages, using the Java language as a support, Gilles Dowek provides the necessary fundamentals of this language as a first objective.

It is important to realise that knowledge of a single programming language is not really enough. To be a good programmer, you should be familiar with several languages and be able to learn new ones. In order to do this, you’ll need to understand universal concepts, such as functions or cells, which exist in one form or another in all programming languages. The most effective way to understand these universal concepts is to compare two or more languages. In this book, the author has chosen Caml and C.

To understand the principles of programming languages, it is also important to learn how to precisely define the meaning of a program, and tools for doing so are discussed. Finally, there is coverage of basic algorithms for lists and trees.

Intended for students with some small experience of computer programming, learned empirically in a single programming language other than Java, students in both computer science and engineering will find this book a very welcome introduction to the principles of programming languages.

Written for students this book presents what all scientists and engineers should know about programming languages.

172 pages, Paperback

First published February 6, 2009

2 people are currently reading
19 people want to read

About the author

Gilles Dowek

47 books1 follower

Ratings & Reviews

What do you think?
Rate this book

Friends & Following

Create a free account to discover what your friends think of this book!

Community Reviews

5 stars
2 (16%)
4 stars
6 (50%)
3 stars
4 (33%)
2 stars
0 (0%)
1 star
0 (0%)
Displaying 1 of 1 review
Profile Image for Fotis Koutoulakis.
117 reviews13 followers
December 28, 2023
I am a computer scientist specialising in Programming Languages (Theory and Implementation), Type Theory and Software Verification. I am not an expert in any of these fields, at least not yet, but for what it's worth, my opinion is that this book is excellent. Correct terminology* in a lot of places, a very clear and rigorous mathematical treatise of the imperative core, i.e. the features that most mainstream (imperative) languages today have and how they work, examples for a lot of the language features discussed in Java, C, Pascal, OCaml, etc, and a number of exercises.

[*]: In the sense that it's consistent with most of the bibliography - you would be surprised, but I have seen a variety of books in Programming Languages or Compilers that do their own thing and introduce their own terminology, diagrams, or what have you, for a lot of things, ending up being very confusing.
Displaying 1 of 1 review

Can't find what you're looking for?

Get help and learn more about the design.