| Title | An Application of Constraint Propagation to Data-Flow Analysis |
| Publication Type | Conference Paper |
| Year of Publication | 1993 |
| Authors | Bagnara R, Giacobazzi R, Levi G |
| Conference Name | Proceedings of ``The Ninth Conference on Artificial Intelligence for Applications'' |
| Publisher | IEEE Computer Society Press, Los Alamitos, CA |
| Conference Location | Orlando, Florida |
| ISBN Number | 0-8186-3840-0 |
| Keywords | abstract interpretation, constraint propagation, constraint systems, software verification, static analysis |
| DOI | 10.1109/CAIA.1993.366600 |
| Refereed Designation | Refereed |
