2013-12: Alternating Runtime and Size Complexity Analysis of Integer Programs
11 Oct
2013
11 Oct
'13
10:01 a.m.
The following technical report is available from http://aib.informatik.rwth-aachen.de: Alternating Runtime and Size Complexity Analysis of Integer Programs Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, and Jürgen Giesl AIB 2013-12 We present a modular approach to automatic complexity analysis. Based on a novel alternation between finding symbolic time bounds for program parts and using these to infer size bounds on program variables, we can restrict each analysis step to a small part of the program while maintaining a high level of precision. Extensive experiments with the implementation of our method demonstrate its performance and power in comparison with other tools.
4089
Age (days ago)
4089
Last active (days ago)
0 comments
1 participants
participants (1)
-
Thomas Ströder