Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python / Therese Hardin, Mathieu Jaume, François Pessaux, Véronique Viguié Donzeau-Gouge
From Hardware to Software -- Introduction to Semantics of Programming Languages -- Semantics of Functional Features -- Semantics of Imperative Features -- Types -- Data Types -- Pointers and Memory Management -- Exceptions -- Conclusion -- Solutions to the Exercises -- List of Notations -- Index of Programs