Complexity and resource bound analysis of imperative programs using difference constraints

DOI10.1007/s10817-016-9402-4zbMath1409.68076WikidataQ58105348 ScholiaQ58105348MaRDI QIDQ2398171

Helmut Veith, Florian Zuleger, Moritz Sinn

Publication date: 15 August 2017

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-016-9402-4

zbMATH Keywords

cost analysis; static analysis; complexity analysis; bound analysis; amortized analysis; difference constraints; automatic complexity analysis; resource bound analysis

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• LLVM
• SPEED
• Easychair
• GitHub