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.