Inferring Polymorphic Types from Logic Programs

Maurice Bruynooghe, John Patrick Gallagher

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    OriginalsprogEngelsk
    TitelPre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation
    RedaktørerSandro Etalle
    Udgivelses stedVerona, Italien
    Publikationsdato2004
    Sider244 - 259
    StatusUdgivet - 2004

    Citer dette

    Bruynooghe, M., & Gallagher, J. P. (2004). Inferring Polymorphic Types from Logic Programs. I S. Etalle (red.), Pre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation (s. 244 - 259). Verona, Italien.
    Bruynooghe, Maurice ; Gallagher, John Patrick. / Inferring Polymorphic Types from Logic Programs. Pre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation. red. / Sandro Etalle. Verona, Italien, 2004. s. 244 - 259
    @inbook{d7f92e9052bd11dba4bc000ea68e967b,
    title = "Inferring Polymorphic Types from Logic Programs",
    author = "Maurice Bruynooghe and Gallagher, {John Patrick}",
    year = "2004",
    language = "English",
    pages = "244 -- 259",
    editor = "Sandro Etalle",
    booktitle = "Pre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation",

    }

    Bruynooghe, M & Gallagher, JP 2004, Inferring Polymorphic Types from Logic Programs. i S Etalle (red.), Pre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation. Verona, Italien, s. 244 - 259.

    Inferring Polymorphic Types from Logic Programs. / Bruynooghe, Maurice; Gallagher, John Patrick.

    Pre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation. red. / Sandro Etalle. Verona, Italien, 2004. s. 244 - 259.

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    TY - CHAP

    T1 - Inferring Polymorphic Types from Logic Programs

    AU - Bruynooghe, Maurice

    AU - Gallagher, John Patrick

    PY - 2004

    Y1 - 2004

    M3 - Book chapter

    SP - 244

    EP - 259

    BT - Pre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation

    A2 - Etalle, Sandro

    CY - Verona, Italien

    ER -

    Bruynooghe M, Gallagher JP. Inferring Polymorphic Types from Logic Programs. I Etalle S, red., Pre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation. Verona, Italien. 2004. s. 244 - 259