Generative Programming and Formal Foundations for Reasoning about Composition

Maurice Glandrup, Lodewijk Bergmans

    Research output: Contribution to conference › Paper › peer-review

    Original languageEnglish
    Pages-
    Number of pages10
    Publication statusPublished - 2001
    Event16th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2001 - Tampa Convention Center, Tampa, United States
    Duration: 14 Oct 2001 → 18 Oct 2001
    Conference number: 16
    http://www.oopsla.org/2001/

    Conference

    Conference16th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2001
    Abbreviated titleOOPSLA
    Country/TerritoryUnited States
    CityTampa
    Period14/10/01 → 18/10/01
    Internet address

    Keywords

    • METIS-203582

    Cite this