| Title | Efficient Structural Information Analysis for Real {CLP} Languages |
| Publication Type | Conference Paper |
| Year of Publication | 2000 |
| Authors | Bagnara R, Hill PM, Zaffanella E |
| Editor | Parigot M, Voronkov A |
| Conference Name | Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR 2000) |
| Publisher | Springer-Verlag, Berlin |
| Conference Location | Réunion Island, France |
| ISBN Number | 3-540-41285-9 |
| Keywords | abstract interpretation, constraint logic programming, logic programming, mode analysis, software verification, static analysis, structural information |
| DOI | 10.1007/3-540-44404-1_13 |
| Refereed Designation | Refereed |
