ABC: Algebraic Bound Computation for Loops
From MaRDI portal
Publication:3066094
DOI10.1007/978-3-642-17511-4_7zbMath1253.68093OpenAlexW1848153821MaRDI 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
Symbolic computation and algebraic computation (68W30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Algebraic program analysis, Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution, Certified abstract cost analysis, Unnamed Item, Type-based analysis of logarithmic amortised complexity
Uses Software