TY - CHAP
T1 - A Personal Historical Perspective on Abstract Interpretation
AU - Cousot, Patrick
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.
PY - 2025/1/1
Y1 - 2025/1/1
N2 - Following an historical perspective, and restricted to my work with Radhia Cousot, I discuss the origin and evolution of concepts in abstract interpretation applied to semantics, verification, static and dynamic analysis, and algorithm design. Abstract interpretation is a unifying theory of formal methods that proposes a general methodology for proving the correctness of computing systems, by sound (and sometimes complete) approximation on their semantics.
AB - Following an historical perspective, and restricted to my work with Radhia Cousot, I discuss the origin and evolution of concepts in abstract interpretation applied to semantics, verification, static and dynamic analysis, and algorithm design. Abstract interpretation is a unifying theory of formal methods that proposes a general methodology for proving the correctness of computing systems, by sound (and sometimes complete) approximation on their semantics.
UR - http://www.scopus.com/inward/record.url?scp=105005693735&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=105005693735&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-34518-0_9
DO - 10.1007/978-3-031-34518-0_9
M3 - Chapter
AN - SCOPUS:105005693735
SP - 205
BT - The French School of Programming
PB - Springer International Publishing
ER -