Safeness of make-based incremental recompilation

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    OriginalsprogEngelsk
    TitelFME 2002 : formal methods - getting IT right. International Symposium of Formal Methods Europe. proceedings
    ForlagKluwer Academic Publishers
    Publikationsdato2002
    Sider126-145
    ISBN (Trykt)3540439285
    StatusUdgivet - 2002
    BegivenhedFormal Methods Europe - Copenhagen, Danmark
    Varighed: 22 jul. 200224 jul. 2002
    Konferencens nummer: 11

    Konference

    KonferenceFormal Methods Europe
    Nummer11
    LandDanmark
    ByCopenhagen
    Periode22/07/200224/07/2002

    Bibliografisk note

    Serie titel:Lecture notes in computer sciences
    Serie nummer:2391

    Citer dette

    Jørgensen, N. H. (2002). Safeness of make-based incremental recompilation. I FME 2002: formal methods - getting IT right. International Symposium of Formal Methods Europe. proceedings (s. 126-145). Kluwer Academic Publishers.
    Jørgensen, Niels Henrik. / Safeness of make-based incremental recompilation. FME 2002: formal methods - getting IT right. International Symposium of Formal Methods Europe. proceedings. Kluwer Academic Publishers, 2002. s. 126-145
    @inproceedings{07c7a520d31511db9c7c000ea68e967b,
    title = "Safeness of make-based incremental recompilation",
    author = "J{\o}rgensen, {Niels Henrik}",
    note = "Serie titel:Lecture notes in computer sciences Serie nummer:2391",
    year = "2002",
    language = "English",
    isbn = "3540439285",
    pages = "126--145",
    booktitle = "FME 2002",
    publisher = "Kluwer Academic Publishers",

    }

    Jørgensen, NH 2002, Safeness of make-based incremental recompilation. i FME 2002: formal methods - getting IT right. International Symposium of Formal Methods Europe. proceedings. Kluwer Academic Publishers, s. 126-145, Formal Methods Europe, Copenhagen, Danmark, 22/07/2002.

    Safeness of make-based incremental recompilation. / Jørgensen, Niels Henrik.

    FME 2002: formal methods - getting IT right. International Symposium of Formal Methods Europe. proceedings. Kluwer Academic Publishers, 2002. s. 126-145.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    TY - GEN

    T1 - Safeness of make-based incremental recompilation

    AU - Jørgensen, Niels Henrik

    N1 - Serie titel:Lecture notes in computer sciences Serie nummer:2391

    PY - 2002

    Y1 - 2002

    M3 - Article in proceedings

    SN - 3540439285

    SP - 126

    EP - 145

    BT - FME 2002

    PB - Kluwer Academic Publishers

    ER -

    Jørgensen NH. Safeness of make-based incremental recompilation. I FME 2002: formal methods - getting IT right. International Symposium of Formal Methods Europe. proceedings. Kluwer Academic Publishers. 2002. s. 126-145