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.
    Craig, Stephen ; Gallagher, John Patrick ; Leuschel, Michael ; Henriksen, Kim Steen. / Fully Automatic Binding Time Analysis for Prolog. Logic Based Program Synthesis and Transformation. red. / Sandro Etalle. Springer, 2005. s. 53-68
    @inproceedings{f7ff458052bd11dba4bc000ea68e967b,
    title = "Fully Automatic Binding Time Analysis for Prolog",
    author = "Stephen Craig and Gallagher, {John Patrick} and Michael Leuschel and Henriksen, {Kim Steen}",
    note = "Seriensstitel: Lecture Notes in Computer Science Seriens nummer: 3573",
    year = "2005",
    language = "English",
    isbn = "3-540-26655-0",
    pages = "53--68",
    editor = "Sandro Etalle",
    booktitle = "Logic Based Program Synthesis and Transformation",
    publisher = "Springer",

    }

    Craig, S, Gallagher, JP, Leuschel, M & Henriksen, KS 2005, Fully Automatic Binding Time Analysis for Prolog. i S Etalle (red.), Logic Based Program Synthesis and Transformation. Springer, s. 53-68, Logic-based Program Synthesis and Transformation 2004, 14th International Symposium, LOPSTR 2004, Verona, Italien, 26/08/2005.

    Fully Automatic Binding Time Analysis for Prolog. / Craig, Stephen; Gallagher, John Patrick; Leuschel, Michael; Henriksen, Kim Steen.

    Logic Based Program Synthesis and Transformation. red. / Sandro Etalle. Springer, 2005. s. 53-68.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    TY - GEN

    T1 - Fully Automatic Binding Time Analysis for Prolog

    AU - Craig, Stephen

    AU - Gallagher, John Patrick

    AU - Leuschel, Michael

    AU - Henriksen, Kim Steen

    N1 - Seriensstitel: Lecture Notes in Computer Science Seriens nummer: 3573

    PY - 2005

    Y1 - 2005

    M3 - Article in proceedings

    SN - 3-540-26655-0

    SP - 53

    EP - 68

    BT - Logic Based Program Synthesis and Transformation

    A2 - Etalle, Sandro

    PB - Springer

    ER -

    Craig S, Gallagher JP, Leuschel M, Henriksen KS. Fully Automatic Binding Time Analysis for Prolog. I Etalle S, red., Logic Based Program Synthesis and Transformation. Springer. 2005. s. 53-68