|
Link to the Homepage: Program Analysis
| |
![]() |
Cousot, Patrick Principles of abstract interpretation MIT Press 2021 |
![]() |
Kaminski, Benjamin Lucien Advanced weakest precondition calculi for probabilistic programs Dissertation 2019 |
Nielson, Flemming; Nielson, Hanne Riis and Hankin, Chris Principles of program analysis Springer 2010 | |
![]() |
Rival, Xavier and Yi, Kwangkeun Introduction to static analysis: An abstract interpretation perspective Cambridge 2020 |