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