2 search results - page 1 / 1 » COSTA: Design and Implementation of a Cost and Termination A... |
FMCO
2007
Springer
13 years 10 months ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
CORR
2011
Springer
12 years 8 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...