User-Definable Resource Usage Bounds Analysis for Java Bytecode
Published in Electronic Notes in Theoretical Computer Science • Nov 28, 2009
NobleIDNI4P31W11R41S54
Authors:,,
Jorge A. Navas
Mario Méndez-Lojo
Manuel V. Hermenegildo
Abstract
Automatic cost analysis of programs has been traditionally concentrated on a reduced number of resources such as execution steps, time, or memory. However, the increasing relevance of analysis applications such as static debugging and/or certification of user-level properties (including for mobile c...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!