Termination and Cost Analysis with COSTA and its User Interfaces

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Gomez Zamalloa, Miguel and Puebla Sánchez, Alvaro Germán and Ramirez Deantes, Diana and Zanardini, Damiano and Roman, Groman (2009). Termination and Cost Analysis with COSTA and its User Interfaces. In: "IX Jornadas sobre Programación y Lenguajes (PROLE '09). IX Spanish Conference on Programming and Languages (PROLE 2009)", 09/09/2009 - 11/09/2009, San Sebastian, España. ISBN ISSN 1571-0661.

Description

Title: Termination and Cost Analysis with COSTA and its User Interfaces
Author/s:
  • Albert Albiol, Elvira
  • Arenas Sánchez, Purificación
  • Genaim, Samir
  • Gomez Zamalloa, Miguel
  • Puebla Sánchez, Alvaro Germán
  • Ramirez Deantes, Diana
  • Zanardini, Damiano
  • Roman, Groman
Item Type: Presentation at Congress or Conference (Article)
Event Title: IX Jornadas sobre Programación y Lenguajes (PROLE '09). IX Spanish Conference on Programming and Languages (PROLE 2009)
Event Dates: 09/09/2009 - 11/09/2009
Event Location: San Sebastian, España
Title of Book: Electronic Notes in Theoretical Computer Science. Proceedings of the Ninth Spanish Conference on Programming and Languages (PROLE 2009)
Date: December 2009
ISBN: ISSN 1571-0661
Volume: 258, I
Subjects:
Freetext Keywords: Cost Analysis; Termination Analysis; Resource Usage
Faculty: Facultad de Informática (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (732kB) | Preview

Abstract

COSTA is a static analyzer for Java bytecode which is able to infer cost and termination information for large classes of programs. The analyzer takes as input a program and a resource of interest, in the form of a cost model, and aims at obtaining an upper bound on the execution cost with respect to the resource and at proving program termination. The costa system has reached a considerable degree of maturity in that (1) it includes state-of-the-art techniques for statically estimating the resource consumption and the termination behavior of programs, plus a number of specialized techniques which are required for achieving accurate results in the context of object-oriented programs, such as handling numeric fields in value analysis; (2) it provides several nontrivial notions of cost (resource consumption) including, in addition to the number of execution steps, the amount of memory allocated in the heap or the number of calls to some user-specified method; (3) it provides several user interfaces: a classical command line, a Web interface which allows experimenting remotely with the system without the need of installing it locally, and a recently developed Eclipse plugin which facilitates the usage of the analyzer, even during the development phase; (4) it can deal with both the Standard and Micro editions of Java. In the tool demonstration, we will show that costa is able to produce meaningful results for non-trivial programs, possibly using Java libraries. Such results can then be used in many applications, including program development, resource usage certification, program optimization, etc.

More information

Item ID: 5701
DC Identifier: http://oa.upm.es/5701/
OAI Identifier: oai:oa.upm.es:5701
Official URL: http://www.sciencedirect.com/science/journal/15710661
Deposited by: Memoria Investigacion
Deposited on: 12 Jan 2011 11:23
Last Modified: 20 Apr 2016 14:26
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM