Abstract Domains Based on Regular Types

John Patrick Gallagher, Kim Steen Henriksen

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    OriginalsprogDansk
    Titel20th International Conference, ICLP 2004, Proceedings
    RedaktørerBart Demoen, Vladimir Lifschitz
    ForlagSpringer
    Publikationsdato2004
    ISBN (Trykt)3-540-22671-0
    StatusUdgivet - 2004
    BegivenhedThe 20th International Conference on Logic Programming - Saint-Malo, Frankrig
    Varighed: 6 sep. 200410 sep. 2004

    Konference

    KonferenceThe 20th International Conference on Logic Programming
    LandFrankrig
    BySaint-Malo
    Periode06/09/200410/09/2004

    Citer dette

    Gallagher, J. P., & Henriksen, K. S. (2004). Abstract Domains Based on Regular Types. I B. Demoen, & V. Lifschitz (red.), 20th International Conference, ICLP 2004, Proceedings Springer.
    Gallagher, John Patrick ; Henriksen, Kim Steen. / Abstract Domains Based on Regular Types. 20th International Conference, ICLP 2004, Proceedings. red. / Bart Demoen ; Vladimir Lifschitz. Springer, 2004.
    @inproceedings{f28c9e4052bd11dba4bc000ea68e967b,
    title = "Abstract Domains Based on Regular Types",
    author = "Gallagher, {John Patrick} and Henriksen, {Kim Steen}",
    year = "2004",
    language = "Dansk",
    isbn = "3-540-22671-0",
    editor = "Bart Demoen and Vladimir Lifschitz",
    booktitle = "20th International Conference, ICLP 2004, Proceedings",
    publisher = "Springer",

    }

    Gallagher, JP & Henriksen, KS 2004, Abstract Domains Based on Regular Types. i B Demoen & V Lifschitz (red), 20th International Conference, ICLP 2004, Proceedings. Springer, The 20th International Conference on Logic Programming, Saint-Malo, Frankrig, 06/09/2004.

    Abstract Domains Based on Regular Types. / Gallagher, John Patrick; Henriksen, Kim Steen.

    20th International Conference, ICLP 2004, Proceedings. red. / Bart Demoen; Vladimir Lifschitz. Springer, 2004.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    TY - GEN

    T1 - Abstract Domains Based on Regular Types

    AU - Gallagher, John Patrick

    AU - Henriksen, Kim Steen

    PY - 2004

    Y1 - 2004

    M3 - Konferencebidrag i proceedings

    SN - 3-540-22671-0

    BT - 20th International Conference, ICLP 2004, Proceedings

    A2 - Demoen, Bart

    A2 - Lifschitz, Vladimir

    PB - Springer

    ER -

    Gallagher JP, Henriksen KS. Abstract Domains Based on Regular Types. I Demoen B, Lifschitz V, red., 20th International Conference, ICLP 2004, Proceedings. Springer. 2004