Book Chapter

Abstract interpretation, symbolic execution and constraints

Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter Stuckey

Recent Developments in the Design and Implementation of Programming Languages | Schloss Dagstuhl-Leibniz-Zentrum für Informatik | Published : 2020

DOI: 10.4230/OASIcs.Gabbrielli.7

Keywords

Abstract Interpretation
Symbolic Execution
Dynamic Analysis
Static Analysis
Constraint Solving