Closed-form upper bounds in static cost analysis
From MaRDI portal
Publication:2429987
DOI10.1007/s10817-010-9174-1zbMath1213.68200MaRDI QIDQ2429987
Elvira Albert, Samir Genaim, Germán Puebla, Puri Arenas
Publication date: 5 April 2011
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-010-9174-1
programming languages; cost analysis; static analysis; abstract interpretation; resource analysis; automatic complexity analysis; closed-form upper bounds
68N01: General topics in the theory of software
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software