Literature for Program Analysis

Link to the Homepage: Program Analysis

no image available Cousot, Patrick
Principles of abstract interpretation
MIT Press 2021
no image available Kaminski, Benjamin Lucien
Advanced weakest precondition calculi for probabilistic programs
Dissertation 2019
no image available Nielson, Flemming; Nielson, Hanne Riis and Hankin, Chris
Principles of program analysis
Springer 2010
no image available Rival, Xavier and Yi, Kwangkeun
Introduction to static analysis:
An abstract interpretation perspective

Cambridge 2020