Generative Programming and Formal Foundations for Reasoning about Composition

Maurice Glandrup, Lodewijk Bergmans

    Research output: Contribution to conferencePaper

    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 200118 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
    CountryUnited States
    CityTampa
    Period14/10/0118/10/01
    Internet address

    Keywords

    • METIS-203582

    Cite this

    Glandrup, M., & Bergmans, L. (2001). Generative Programming and Formal Foundations for Reasoning about Composition. -. Paper presented at 16th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2001, Tampa, United States.