book

Concepts and Semantics of Programming Languages 1

by Therese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge

August 2021

Intermediate to advanced

336 pages

7h 18m

English

Wiley-ISTE

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

Content preview from Concepts and Semantics of Programming Languages 1

References

[ACC 92] ACCART HARDIN T., VIGUIÉ DONZEAU-GOUGE V., Concepts et outils de programmation, InterEditions, Paris, 1992.
[ARM 10] ARM, Cortex-M3 devices generic user guide: Revision A, available at: https://developer.arm.com/documentation/dui0552/a/the-cortex-m3-processor/program-mers-model/core-registers, 2010.
[DAM 82] DAMAS L., MILNER R., “Principal type-schemes for functional programs”, Proceedings of the 9th Annual ACM Symposium on Principles of Programming Languages (POPL), pp. 207-212, ACM Press, 1982.
[DOL 93] DOLIGEZ D., LEROY X., “A concurrent, generational garbage collector for a multithreaded implementation of ML”, Proceedings of the 20th ACM Symposium on Principles of Programming Languages (POPL), pp. 113-123, ACM Press, 1993.
[DOL 94] DOLIGEZ D., GONTHIER G., “Portable, unobtrusive garbage collection for multiprocessor systems”, Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL), pp. 70-83, ACM Press, 1994.
[DOW 09] DOWEK G., Principles of Programming Languages, Springer-Verlag, London, 2009.
[DOW 11] DOWEK G., LÉVY J.-J., Introduction to the Theory of Programming Languages, Springer-Verlag, London, 2011.
[DUB 18] DUBOIS C., GRINCHTEIN O., PEARSON J. et al., “Exploring properties of a telecommunication protocol with message delay using interactive theorem prover”, in JOHNSEN E., SCHAEFER I. (eds), Proceedings of the 16th International Conference on Software Engineering and Formal Methods, June 27-29, Toulouse, France, 2018. ...