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.
    Glandrup, Maurice ; Bergmans, Lodewijk. / 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.10 p.
    @conference{dfb189c65003438f8d23ade8b00805d1,
    title = "Generative Programming and Formal Foundations for Reasoning about Composition",
    keywords = "METIS-203582",
    author = "Maurice Glandrup and Lodewijk Bergmans",
    note = "Generative Programming Workshop; 16th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2001, OOPSLA ; Conference date: 14-10-2001 Through 18-10-2001",
    year = "2001",
    language = "English",
    pages = "--",
    url = "http://www.oopsla.org/2001/",

    }

    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, 14/10/01 - 18/10/01, pp. -.

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

    2001. - Paper presented at 16th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2001, Tampa, United States.

    Research output: Contribution to conferencePaper

    TY - CONF

    T1 - Generative Programming and Formal Foundations for Reasoning about Composition

    AU - Glandrup, Maurice

    AU - Bergmans, Lodewijk

    N1 - Generative Programming Workshop

    PY - 2001

    Y1 - 2001

    KW - METIS-203582

    M3 - Paper

    SP - -

    ER -

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