@inproceedings{eac2e6a2706348e9ad2ad4217ef585aa,
title = "Abstract interpretation based static analysis parameterized by semantics",
abstract = "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.",
author = "Patrick Cousot",
note = "Publisher Copyright: {\textcopyright} 1997, Springer Verlag. All rights reserved.; 4th International Symposium on Static Analysis, SAS 1997 ; Conference date: 08-09-1997 Through 10-09-1997",
year = "1997",
doi = "10.1007/bfb0032759",
language = "English (US)",
isbn = "9783540634683",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "388--394",
editor = "{Van Hentenryck}, Pascal",
booktitle = "Static Analysis - 4th International Symposium, SAS 1997",
}