A simple and scalable static analysis for bound analysis and amortized complexity analysis

Sinn, MoritzZuleger, FlorianVeith, HelmutKnoop, JensZdun, Uwe2017-06-212017-06-212016978-3-88579-646-6enA simple and scalable static analysis for bound analysis and amortized complexity analysisText/Conference Paper1617-5468