Research output

  1. An Extensible Framework for Variable-Precision Data-flow Analyses in MPS

    Research output: Scientific - peer-reviewConference contribution

  2. IncA: A DSL for the Definition of Incremental Program Analyses

    Research output: Scientific - peer-reviewConference contribution

View all (5) »

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