3 code implementations • 28 Jan 2021 • Martin Hofmann, Lorenz Leutgeb, Georg Moser, David Obwaller, Florian Zuleger
We introduce a novel amortised resource analysis couched in a type-and-effect system.
Logic in Computer Science Programming Languages F.3.2
1 code implementation • 22 Oct 2016 • Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
In this paper, we develop an algorithmic framework based on heap automata that allows us to derive asymptotically optimal decision procedures for a wide range of robustness properties in a uniform way.
Logic in Computer Science
3 code implementations • 10 Mar 2016 • Sumit Gulwani, Ivan Radiček, Florian Zuleger
We obtain promising initial results (the average usefulness grade 3. 4 on a scale from 1 to 5), and conclude that our approach can be used in an interactive setting.
Programming Languages