Generative Programming and Formal Conditions for Reasoning about Composition

Maurice Glandrup, Lodewijk Bergmans

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Original languageUndefined
    Title of host publicationOOPSLA 2001: Generative Programming Workshop
    Place of PublicationTampa, Florida (USA)
    Pages-
    Publication statusPublished - 2001

    Keywords

    • METIS-203581

    Cite this

    Glandrup, M., & Bergmans, L. (2001). Generative Programming and Formal Conditions for Reasoning about Composition. In OOPSLA 2001: Generative Programming Workshop (pp. -). Tampa, Florida (USA).
    Glandrup, Maurice ; Bergmans, Lodewijk. / Generative Programming and Formal Conditions for Reasoning about Composition. OOPSLA 2001: Generative Programming Workshop. Tampa, Florida (USA), 2001. pp. -
    @inproceedings{62c1486c2d1b40ea8557f59299232add,
    title = "Generative Programming and Formal Conditions for Reasoning about Composition",
    keywords = "METIS-203581",
    author = "Maurice Glandrup and Lodewijk Bergmans",
    year = "2001",
    language = "Undefined",
    pages = "--",
    booktitle = "OOPSLA 2001: Generative Programming Workshop",

    }

    Glandrup, M & Bergmans, L 2001, Generative Programming and Formal Conditions for Reasoning about Composition. in OOPSLA 2001: Generative Programming Workshop. Tampa, Florida (USA), pp. -.

    Generative Programming and Formal Conditions for Reasoning about Composition. / Glandrup, Maurice; Bergmans, Lodewijk.

    OOPSLA 2001: Generative Programming Workshop. Tampa, Florida (USA), 2001. p. -.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    TY - GEN

    T1 - Generative Programming and Formal Conditions for Reasoning about Composition

    AU - Glandrup, Maurice

    AU - Bergmans, Lodewijk

    PY - 2001

    Y1 - 2001

    KW - METIS-203581

    M3 - Conference contribution

    SP - -

    BT - OOPSLA 2001: Generative Programming Workshop

    CY - Tampa, Florida (USA)

    ER -

    Glandrup M, Bergmans L. Generative Programming and Formal Conditions for Reasoning about Composition. In OOPSLA 2001: Generative Programming Workshop. Tampa, Florida (USA). 2001. p. -