De Luna A. Programming Language Theory 2023

Textbook in PDF format

The book "Theory of Programming Language" thoroughly examines the subject and various real-world applications of computer technology. Programming language theory is an area of computer science that focuses on the creation, execution, analysis, characterization, and classification of formal programming languages. This comprehensive text introduces the ideas, methods, and sophisticated instrumentation techniques used in programming for beginning computer science students and researchers. This book also provides a reliable study of the programming language and projects its future evolution. It does a fantastic job of giving an overview of the numerous issues addressed in the theory that underpins programming languages. The readers of this handbook can easily understand the fundamental principles that constitute the basis for the philosophy of programming languages. This is because the material is organized and presented in a reader-friendly way. This book is a valuable resource for students, professors, and developers interested in programming language and its theory.
PLT, which is an abbreviation that stands for “programming language theory (PLT),” is a subfield of Computer Science that investigates the design, implementation, analysis, characterization, and classification of formal languages that are referred to as programming languages as well as the components that make up those languages on their own. PLT also looks at how formal languages are characterized and classified. PLT is a branch of computer science that draws from and impacts a wide range of other academic fields, including mathematics, software engineering, languages, and even cognitive science. It is also regarded to be its academic subject. PLT has developed into a well-known area of study within the field of computer science and an active area of investigation. The findings of this research are published in a large number of journals that are specifically dedicated to PLT, in addition to publications that are generally dedicated to computer science and engineering.
Preface
Introduction to the Theory of Programming Language
Evaluation of Major Programming Languages
The Language PCF
Describing Syntax and Semantics
Lexical and Syntax Analysis
Names, Bindings, and Scopes
Data Types
Support for Object-Oriented Programming