Covers generic programming in C++ through templates for classes and functions, showcasing examples and discussing specialization and separate compilation.
Explores object-oriented programming concepts in C++ focusing on constructors, destructors, initialization lists, and constructor design in Cartesian and polar coordinates.
Explores the implementation of an Octagon Abstract Interpreter for C programs, covering abstract interpretation, octagonal constraints, closures, pointers, and the FrontC parser.