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
    LandItalien
    ByVerona
    Periode26/08/200528/08/2005

    Bibliografisk note

    Seriensstitel: Lecture Notes in Computer Science
    Seriens nummer: 3573

    Citer dette

    Craig, S., Gallagher, J. P., Leuschel, M., & Henriksen, K. S. (2005). Fully Automatic Binding Time Analysis for Prolog. I S. Etalle (red.), Logic Based Program Synthesis and Transformation (s. 53-68). Springer.