Abstract interpretation

Patrick Cousot, Radhia Cousot
2014 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14  
We review how the dependence upon semantics has been taken into account in abstract interpretation based program analysis and next propose to design general purpose abstract interpreters taking semantics as a parameter, either that of the program to be analyzed or that of a programming language.
doi:10.1145/2603088.2603165 dblp:conf/csl/CousotC14 fatcat:4vwvctw2bbbvhihzx6s3m6yaiy