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).