book

Concepts and Semantics of Programming Languages 1

August 2021

Intermediate to advanced

336 pages

7h 18m

English

Read now

Unlock full access

1.1. Computers: a low-level view1.2. Computers: a high-level view
2.1. Environment, memory and state2.2. Evaluation of expressions2.3. Definition and assignment2.4. Exercises
3.1. Syntactic aspects3.2. Execution semantics: evaluation functions3.3. Execution semantics: operational semantics3.4. Evaluation functions versus evaluation relations3.5. Semantic properties3.6. Exercises
4.1. Syntax of a kernel of an imperative language4.2. Evaluation of expressions4.3. Evaluation of definitions4.4. Operational semantics4.5. Semantic properties4.6. Procedures4.7. Other approaches4.8. Exercises
5.1. Type checking: when and how?5.2. Informal typing of a program Exp25.3. Typing rules in Exp25.4. Type inference algorithm in Exp25.5. Properties5.6. Typechecking of imperative constructs5.7. Subtyping and overloading

6.1. Basic types6.2. Arrays6.3. Strings6.4. Type definitions6.5. Generalized conditional6.6. Equality
7.1. Addresses and pointers7.2. Endianness7.3. Pointers and arrays7.4. Passing parameters by address7.5. References7.6. Memory management
8.1. Errors: notification and propagation8.2. A simple formalization: ML-style exceptions8.3. Exceptions in other languages