Research output

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

    Research output: ScientificConference contribution

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

    Research output: Scientific - peer-reviewConference contribution

View all (6) »

ID: 4047230