Research output

  1. A Co-contextual Type Checker for Featherweight Java

    Research output: Scientific - peer-reviewConference contribution

  2. A Module-System Discipline for Model-Driven Software Development

    Research output: Scientific - peer-reviewArticle

  3. Toward Abstract Interpretation of Program Transformations

    Research output: Scientific - peer-reviewConference contribution

View all (17) »

Activities

  1. IncAL: A DSL for Incremental Program Analysis with Lattices

    Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

  2. Privacy-aware Distributed Incremental Computation

    Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

View all (2) »

ID: 110865