|
|
First of all, have a look at our tutorial.
The following papers contain information related to the LOOP project.
|
[Spoto01b]Fausto Spoto.
Logic Programs as Abstract Domains. In L. M. Pereira and P. Quaresma, editors.
Proceedings of the APPIA-GULP-PRODE 2001 Conference, pages 197-211.
Evora, Portugal. September 2001.
(Gzipped Postscript, 121677 bytes)
(Abstract, 975 bytes)
(BibTeX, 354 bytes)
|
|
|
[Spoto01]Fausto Spoto.
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses. In P. Cousot, editor.
Proceedings of the Static Analysis Symposium 2001, volume 2126 of Lecture Notes in Computer Science,
pages 127-145, Springer-Verlag. Paris, France. July 2001.
(Gzipped Postscript, 133253 bytes)
(Abstract, 978 bytes)
(BibTeX, 455 bytes)
|
|
|
[JS01]Thomas Jensen and Fausto Spoto.
Class Analysis of Object-Oriented Programs through Abstract
Interpretation. In
F. Honsell and M. Miculan, editors, Proceedings of the
FOSSACS 2001
Conference, Volume 2030 of Lecture Notes in Computer Science, pages 261-275. Genova, Italy, April
2001. Springer-Verlag.
(Gzipped
Postscript,
109171 bytes)
(Abstract, 1203
bytes)
(BibTeX, 495 bytes)
|
|
|
|