Download free course Principles of Programming Languages, pdf file on 163 pages by Mike Grant, Zachary Palmer, Scott Smith.
In this open book, our goal is to study the fundamental concepts in programming languages, as opposed to learning a range of specific languages. Languages are easy to learn, it is the concepts behind them that are difficult. The basic features we study in turn include higher-order functions, data structures in the form of records and variants, mutable state, exceptions, objects and classes, and types. We also study language implementations, both through language interpreters and language compilers. Throughout the book we write small interpreters for toy languages, and in Chapter 8 we write a principled compiler. We define type checkers to define which programs are well-typed and which are not. We also take a more precise, mathematical view of interpreters and type checkers, via the concepts of operational semantics and type systems. These last two concepts have historically evolved from the logician's view of programming.
The material has evolved from lecture notes used in a programming languages course for juniors, seniors, and graduate students at Johns Hopkins University. While the book uses formal mathematical techniques such as operational semantics and type systems, it does not emphasize proofs of properties of these systems. We will nonetheless sketch the intuitions of some proofs.
The material has evolved from lecture notes used in a programming languages course for juniors, seniors, and graduate students at Johns Hopkins University. While the book uses formal mathematical techniques such as operational semantics and type systems, it does not emphasize proofs of properties of these systems. We will nonetheless sketch the intuitions of some proofs.
Table of contents
- Introduction
- Operational Semantics
- Tuples, Records, and Variants
- Side Effects: State and Exceptions
- Object-Oriented Language Features
- Type Systems
- Concurrency
- Compilation by Program Transformation
Pages : | 163 |
Size : | 1.1 MB |
Downloads: | 50 |
Created: | 2022-02-03 |
License: | CC BY-SA |
Author(s): | Mike Grant, Zachary Palmer, Scott Smith |
Others related eBooks about Principles of Programming Languages
In this open book, our goal is to study the fundamental concepts in programming languages,..., download free Principles of Programming tutorial in PDF (163 pages) created by Mike Grant .
Download free course Effective AWK Programming, pdf file on 572 pages by Arnold Robbins.
Download free course Programming for Computations - Python, pdf file on 244 pages by Svein Linge, Hans Petter Langtangen.
Download free course Programming Computer Vision with Python, pdf file on 300 pages by Jan Erik Solem.
This book is aimed at readers who are interested in software development but have very lit..., download free Learn Programming tutorial in PDF (465 pages) created by Antti Salonen .