Efficient Structural Information Analysis for Real {CLP} Languages

Publication TypeConference Paper
Year of Publication2000
AuthorsBagnara R, Hill PM, Zaffanella E
EditorParigot M, Voronkov A
Conference NameProceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR 2000)
PublisherSpringer-Verlag, Berlin
Conference LocationRéunion Island, France
ISBN Number3-540-41285-9
Keywordsabstract interpretation, constraint logic programming, logic programming, mode analysis, software verification, static analysis, structural information
We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.