Research output

  1. Incremental Overload Resolution in Object-Oriented Programming Languages

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  2. Incrementalizing Lattice-Based Program Analyses in Datalog

    Research output: Contribution to journalArticleScientificpeer-review

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

View all (8) »

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

View all (1) »

ID: 4047230