Programming Languages Application and Interpretation
Unlike some other textbooks, this one does not follow a top-down narrative. Rather it has the flow of a conversation, with backtracking. We will often build up programs incrementally, just as a pair of programmers would. We will include mistakes, not because I don't know the answer, but because...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
[Place of publication not identified]
Brown University
2017.
|
| Edition: | Version Second Edition |
| Series: | Open textbook library.
|
| Subjects: | |
| Online Access: | Access online version |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- 1 Introduction
- 2 Everything (We Will Say) About Parsing
- 3 A First Look at Interpretation
- 4 A First Taste of Desugaring
- 5 Adding Functions to the Language
- 6 From Substitution to Environments
- 7 Functions Anywhere
- 8 Mutation Structures and Variables
- 9 Recursion and Cycles: Procedures and Data
- 10 Objects
- 11 Memory Management
- 12 Representation Decisions
- 13 Desugaring as a Language Feature
- 14 Control Operations
- 15 Checking Program Invariants Statically: Types
- 16 Checking Program Invariants Dynamically: Contracts
- 17 Alternate Application Semantics