Fully Automatic Binding Time Analysis for Prolog

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    OriginalsprogEngelsk
    TitelLogic Based Program Synthesis and Transformation
    RedaktørerSandro Etalle
    ForlagSpringer
    Publikationsdato2005
    Sider53-68
    ISBN (Trykt)3-540-26655-0
    StatusUdgivet - 2005
    BegivenhedLogic-based Program Synthesis and Transformation 2004, 14th International Symposium, LOPSTR 2004 - Verona, Italien
    Varighed: 26 aug. 200528 aug. 2005

    Konference

    KonferenceLogic-based Program Synthesis and Transformation 2004, 14th International Symposium, LOPSTR 2004
    Land/OmrådeItalien
    ByVerona
    Periode26/08/200528/08/2005

    Bibliografisk note

    Seriensstitel: Lecture Notes in Computer Science
    Seriens nummer: 3573

    Citer dette