Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Kim Steen Henriksen, Gourinath Banda, John Patrick Gallagher

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationWLPE 2007 : Proceedings of the 17th Workshop on Logic-based methods in Programming Environments
EditorsPatricia Hill, Wim Vanhoof
Number of pages18
PublisherUniversity of Porto
Publication date2007
Pages99-116
Publication statusPublished - 2007
EventWLPE 2007 - Porto, Portugal
Duration: 13 Sep 200713 Sep 2007
Conference number: 17

Conference

ConferenceWLPE 2007
Number17
CountryPortugal
CityPorto
Period13/09/200713/09/2007

Keywords

  • Abstract Interpretation
  • Convex Polyhedral Analysis
  • Constraint Logic Programming

Cite this

Henriksen, K. S., Banda, G., & Gallagher, J. P. (2007). Experiments with a Convex Polyhedral Analysis Tool for Logic Programs. In P. Hill, & W. Vanhoof (Eds.), WLPE 2007: Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (pp. 99-116). University of Porto.