Alternating runtime and size complexity analysis of integer programs

Autor:	Stephan Falke, Marc Brockschmidt, Jürgen Giesl, Carsten Fuhs, Fabian Emmes
Přispěvatelé:	Ábrahám, E., Havelund, K.
Jazyk:	angličtina
Rok vydání:	2014
Předmět:	csis Computer science restrict business.industry Alternation (formal language theory) Topological order Modular design business Algorithm
Zdroj:	Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642548611 TACAS
ISSN:	0302-9743
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::14e7d43c694af88048391a2bb65f6408 https://eprints.bbk.ac.uk/id/eprint/16256/1/16256.pdf Zobrazit plný text záznamu