Programming Language Theory

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. Cover Title Page Copyright ABOUT THE AUTHOR TABLE OF CONTENTS List of Figures List of Tables List of Abbreviations Preface Chapter 1 Introduction to the Theory of Programming Language 1.1. Introduction 1.2. Inductive Definitions 1.3. Languages 1.4. Three Ways to Define the Semantics of a Language 1.5. Non-Termination 1.6. Programming Domains 1.7. Language Evaluation Criteria References Chapter 2 Evaluation of Major Programming Languages 2.1. Introduction 2.2. Zuse’s Plankalkül 2.3. Pseudocodes 2.4. IBM 704 and Fortran 2.5. Functional Programming: LISP 2.6. Computerizing Business Records 2.7. The Early Stages of Timesharing 2.8. Two Initial Dynamic Languages: Snobol and APL 2.9. Object-Oriented Programming: Smalltalk 2.10. Merging Imperative and Object-Oriented Characteristics 2.11. An Imperative-Centered Object-Oriented Language: Java 2.12. Markup-Programming Hybrid Languages 2.13. Scripting Languages References Chapter 3 The Language PCF 3.1. Introduction 3.2. A Functional Language: PCF 3.3. Small-Step Operational Semantics for PCF 3.4. Reduction Strategies 3.5. Big-Step Operational Semantics for PCF 3.6. Evaluation of PCF Programs References Chapter 4 Describing Syntax and Semantics 4.1. Introduction 4.2. The General Problem of Describing Syntax 4.3. Formal Methods of Describing Syntax 4.4. Attribute Grammars 4.5. Describing the Meanings of Programs References Chapter 5 Lexical and Syntax Analysis 5.1. Introduction 5.2. Lexical Analysis 5.3. The Parsing Problem 5.4. Recursive-Descent Parsing 5.5. Bottom-Up Parsing 5.6. Summary References Chapter 6 Names, Bindings, and Scopes 6.1. Introduction 6.2. Names 6.3. Variables 6.4. The Concept of Binding 6.5. Scope References Chapter 7 Data Types 7.1. Introduction 7.2. Primitive Data Types 7.3. Character String Types References Chapter 8 Support for Object-Oriented Programming 8.1. Introduction 8.2. Object-Oriented Programming 8.3. Design Issues for Object-Oriented Languages 8.4. Support for Object-Oriented Programming in Specific Languages References Index Back Cover