There are lots of great material on Theory of Programming Languages subject in the internet, buts its always a challenge to figure out a ready list of top books on Theory of Programming Languages that one can refer to immediately. Even though online materials are good, but nothing can beat the depth of coverage that a book can offer. Hence, we researched the list of Theory of Programming Languages books which are used by students worldwide and came up with top 10 Book Recommendations on Theory of Programming Languages subject. These books can be used as a great starting point for anyone studying Theory of Programming Languages and can also be used as a ready reference for Under-Graduate and Post-Graduate programs.
Most of these Theory of Programming Languages books are also in the best-seller lists in Amazon website. We have added a brief description of these best books and have also included direct links to Amazon site (as affiliate). This allows anyone to directly visit the site and order printed copies of these best books.
Here is the full list of best reference books on Theory of Programming Languages.
|1. “A Formal Semantics of Programming Languages: An Introduction” by Glynn Winskel|
|2. “Foundations for Programming Languages” by John C. Mitchell
Book Review: This book focuses on the core concepts used in modern programming languages and these core concepts include functions, type, memory management and control. The book also provides comprehensive presentation and comparison of the object oriented programming languages. The book contains separate chapters on history of objects, simula, smalltalk and languages like C++ and Java. The book also introduces fundamental concepts like lambda calculus, denotational semantics thereby concentrating on the main points provided by these theories. Others topics in the book include concurrency, program components, object oriented programming and inter-language interoperability. The book also contains a special chapter on logic programming that demonstrates the importance of programming methods for different kinds of problems.
|3. “Types and Programming Languages” by Benjamin C. Pierce|
|4. “Essentials of Programming Languages” by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes
Book Review: This book provides a deep understanding of the important concepts of programming languages. These concepts include semantics, program elements and the text uses interpreters to express the semantics of many language elements in a clear and executable way. The book also provides various views of programming languages using theories of abstraction thereby maintaining a clear connection between high level and low level views. The book contains new chapters on modules and continuation passing style. This book is very useful for both graduate and undergraduate courses and other education courses for programmers.
|5. “Programming Languages: Concepts and Constructs” by Ravi Sethi
Book Review: This book focuses on the concepts of programming languages and how they work together. The book provides readable coverage of the major programming paradigms. The book focuses on the core concepts of imperative programming in Pascal and C languages and later to object oriented programming in C++ and Smalltalk. The functional languages are illustrated by standard ML programs and Lisp scheme dialect. The book presents logic programming through prolog. The book provides in detail how the related concepts of a programming language work together and thereby the designers will be exposed to major programming concepts.
|6. “The Lambda Calculus: Its Syntax and Semantics” by H. P. Barendregt
Book Review: The book provides a very nice description of the semantics of programming languages. Different cases of lambda calculus models are described in a uniform manner in this book. Throughout the book, examples of various simple models are given and later general theory of the same is developed. The book also has a very nice graphical layout with regard to the symbols which makes it much easier to read and learn from. This book is a must for all the computer science students. Exercises at the end of each chapter are very helpful and also are very interesting. This book is purely theoretical and principally aimed for researchers/students of its field.
|7. “Introduction to Programming Languages” by Bansal|
|8.”Implementation and Application of Functional Languages” by Horvath Butterfield|
|9. “Fundamentals of Programming Languages” by Horowitz Ellis|
|10. “The Interpretation of Object-Oriented Programming Languages 2nd ed. 2002 Edition” by Iain Craig|
If any more book needs to be added to the list of best books on Theory of Programming Languages Subject, please let us know.
Sanfoundry Global Education & Learning Series – Best Reference Books!