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.
Author(s): Alvin Albuero De Luna
Publisher: Arcler Press
Year: 2023
Language: English
Pages: 248
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
