Fully Automatic Binding Time Analysis for Prolog

Stephen Craig, John Patrick Gallagher, Michael Leuschel, Kim Steen Henriksen

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

    Original languageEnglish
    Title of host publicationLogic Based Program Synthesis and Transformation
    EditorsSandro Etalle
    PublisherSpringer
    Publication date2005
    Pages53-68
    ISBN (Print)3-540-26655-0
    Publication statusPublished - 2005
    EventLogic-based Program Synthesis and Transformation 2004, 14th International Symposium, LOPSTR 2004 - Verona, Italy
    Duration: 26 Aug 200528 Aug 2005

    Conference

    ConferenceLogic-based Program Synthesis and Transformation 2004, 14th International Symposium, LOPSTR 2004
    Country/TerritoryItaly
    CityVerona
    Period26/08/200528/08/2005

    Cite this