Termination and Cost Analysis with COSTA and its User Interfaces

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Genaim, Samir; Gomez Zamalloa, Miguel; Puebla Sánchez, Alvaro Germán; Ramirez Deantes, Diana; Zanardini, Damiano y Roman, Groman (2009). Termination and Cost Analysis with COSTA and its User Interfaces. En: "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.

Descripción

Título: Termination and Cost Analysis with COSTA and its User Interfaces
Autor/es:
  • 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
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: IX Jornadas sobre Programación y Lenguajes (PROLE '09). IX Spanish Conference on Programming and Languages (PROLE 2009)
Fechas del Evento: 09/09/2009 - 11/09/2009
Lugar del Evento: San Sebastian, España
Título del Libro: Electronic Notes in Theoretical Computer Science. Proceedings of the Ninth Spanish Conference on Programming and Languages (PROLE 2009)
Fecha: Diciembre 2009
ISBN: ISSN 1571-0661
Volumen: 258, I
Materias:
Palabras Clave Informales: Cost Analysis; Termination Analysis; Resource Usage
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (732kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 5701
Identificador DC: http://oa.upm.es/5701/
Identificador OAI: oai:oa.upm.es:5701
URL Oficial: http://www.sciencedirect.com/science/journal/15710661
Depositado por: Memoria Investigacion
Depositado el: 12 Ene 2011 11:23
Ultima Modificación: 20 Abr 2016 14:26
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM