Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini. COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Volume 5382 of Lecture Notes in Computer Science, pages 113-132, Springer, 2007. [doi]
Abstract is missing.