Research output

  1. Lessons learned from developing mbeddr: a case study in language engineering with MPS

    Research output: Contribution to journalArticleScientificpeer-review

  2. Incremental Overload Resolution in Object-Oriented Programming Languages

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

  3. Incrementalizing Lattice-Based Program Analyses in Datalog

    Research output: Contribution to journalArticleScientificpeer-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