Patrick Cousot. Abstract Interpretation Based Static Analysis Parameterized by Semantics. In Pascal Van Hentenryck, editor, Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings. Volume 1302 of Lecture Notes in Computer Science, pages 388-394, Springer, 1997.
@inproceedings{Cousot97:1, title = {Abstract Interpretation Based Static Analysis Parameterized by Semantics}, author = {Patrick Cousot}, year = {1997}, tags = {semantics, rule-based, analysis, static analysis}, researchr = {https://researchr.org/publication/Cousot97%3A1}, cites = {0}, citedby = {0}, pages = {388-394}, booktitle = {Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings}, editor = {Pascal Van Hentenryck}, volume = {1302}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63468-1}, }