ABC: Algebraic Bound Computation for Loops
From MaRDI portal
Publication:3066094
DOI10.1007/978-3-642-17511-4_7zbMath1253.68093MaRDI QIDQ3066094
Régis Blanc, Thibaud Hottelier, Laura Kovács, Thomas A. Henzinger
Publication date: 7 January 2011
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://infoscience.epfl.ch/record/186096/files/LPAR09_Kovacs.pdf
68W30: Symbolic computation and algebraic computation
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Unnamed Item, Type-based analysis of logarithmic amortised complexity, Algebraic program analysis, Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution, Certified abstract cost analysis
Uses Software