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

Sinn, Moritz

  1. A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis
    2014/01/23 by Sinn, Moritz, Zuleger, Florian, Veith, Helmut · 1 citation
    #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Programming Languages (cs.PL)