Abstract interpretation: Achievements and perspectives

Patrick Cousot

Abstract interpretation: Achievements and perspectives

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000
Publisher	Scuola Superiore G. Reiss Romoli
State	Published - 2000

Publication series

Name	Compact Disk Paper 224 and Electronic Proceedings

Cite this

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 proceeding › Conference contribution

@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",

}