Explores concrete degradation, focusing on corrosion, freeze-thaw damage, and alkali-aggregate reaction, with prevention methods and repair techniques.
Introduces precast concrete structures and advanced design techniques, covering topics like prefabrication, building connections, and construction projects.
Explores the implementation of an Octagon Abstract Interpreter for C programs, covering abstract interpretation, octagonal constraints, closures, pointers, and the FrontC parser.
