vix.ing · top · new · best · stats · spec

Erhard, Julian

  1. Improving Thread-Modular Abstract Interpretation
    2021/08/17 by Schwarz, Michael, Saan, Simmo, Seidl, Helmut +3 · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)
  2. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
    2023/01/16 by Schwarz, Michael, Saan, Simmo, Seidl, Helmut +2 · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)