Abstract interpretation: Achievements and perspectives

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000
PublisherScuola Superiore G. Reiss Romoli
StatePublished - 2000

Publication series

NameCompact Disk Paper 224 and Electronic Proceedings

Cite this

Cousot, P. (2000). Abstract interpretation: Achievements and perspectives. In Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000 (Compact Disk Paper 224 and Electronic Proceedings). Scuola Superiore G. Reiss Romoli.

Abstract interpretation : Achievements and perspectives. / Cousot, Patrick.

Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli, 2000. (Compact Disk Paper 224 and Electronic Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cousot, P 2000, Abstract interpretation: Achievements and perspectives. in Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Compact Disk Paper 224 and Electronic Proceedings, Scuola Superiore G. Reiss Romoli.
Cousot P. Abstract interpretation: Achievements and perspectives. In Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli. 2000. (Compact Disk Paper 224 and Electronic Proceedings).
Cousot, Patrick. / Abstract interpretation : Achievements and perspectives. Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli, 2000. (Compact Disk Paper 224 and Electronic Proceedings).
@inproceedings{516d25fe73f5430c82a16065f94f4ab4,
title = "Abstract interpretation: Achievements and perspectives",
author = "Patrick Cousot",
year = "2000",
language = "English (US)",
series = "Compact Disk Paper 224 and Electronic Proceedings",
publisher = "Scuola Superiore G. Reiss Romoli",
booktitle = "Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000",

}

TY - GEN

T1 - Abstract interpretation

T2 - Achievements and perspectives

AU - Cousot, Patrick

PY - 2000

Y1 - 2000

M3 - Conference contribution

T3 - Compact Disk Paper 224 and Electronic Proceedings

BT - Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000

PB - Scuola Superiore G. Reiss Romoli

ER -