Here is the listing 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.
Sanfoundry Global Education & Learning Series – Best Reference Books!