Abstract Domains Based on Regular Types

John Patrick Gallagher, Kim Steen Henriksen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageDanish
    Title of host publication20th International Conference, ICLP 2004, Proceedings
    EditorsBart Demoen, Vladimir Lifschitz
    PublisherSpringer
    Publication date2004
    ISBN (Print)3-540-22671-0
    Publication statusPublished - 2004
    EventThe 20th International Conference on Logic Programming - Saint-Malo, France
    Duration: 6 Sep 200410 Sep 2004

    Conference

    ConferenceThe 20th International Conference on Logic Programming
    Country/TerritoryFrance
    CitySaint-Malo
    Period06/09/200410/09/2004

    Cite this