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) »

ID: 4047230