Termination and Cost Analysis with COSTA and its User Interfaces

Electronic Notes in Theoretical Computer Science

Volumn 258, Issue 1, 2009, Pages 109-121

  Albert, E ^a   Arenas, P ^a   Genaim, S ^a   Gomez Zamalloa M ^a   Puebla, G ^b   Ramirez D ^b   Roman G ^b   Zanardini, D ^b  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

^b UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Cost Analysis; Resource Usage; Termination Analysis

Indexed keywords

COMMAND LINE; COST ANALYSIS; COST MODELS; DEVELOPMENT PHASE; ECLIPSE PLUGIN; JAVA BYTE CODES; JAVA LIBRARY; LARGE CLASS; NON-TRIVIAL PROGRAMS; OBJECT-ORIENTED PROGRAM; PROGRAM DEVELOPMENT; PROGRAM OPTIMIZATION; PROGRAM TERMINATION; RESOURCE CONSUMPTION; RESOURCE USAGE; STATIC ANALYZERS; TERMINATION ANALYSIS; TOOL DEMONSTRATION; UPPER BOUND; VALUE ANALYSIS; WEB INTERFACE;

COMPUTER SOFTWARE; COST ACCOUNTING; COSTS; JAVA PROGRAMMING LANGUAGE; PHASE INTERFACES; STANDARDIZATION; USER INTERFACES;

COST BENEFIT ANALYSIS;

EID: 72049083451     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.12.008     Document Type: Article

References (14)

1. Albert E., Arenas P., Codish M., Genaim S., Puebla G., and Zanardini D. Termination Analysis of Java Bytecode. FMOODS. LNCS 5051 (2008) 2-18
2. Albert E., Arenas P., Genaim S., and Puebla G. Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. SAS. LNCS 5079 (2008)
3. E. Albert, P. Arenas, S. Genaim, and G. Puebla. Dealing with numeric fields in termination analysis of java-like languages. In FTfJP, 2008
4. Albert E., Arenas P., Genaim S., Puebla G., and Zanardini D. Cost Analysis of Java Bytecode. ESOP. LNCS 4421 (2007), Springer 157-172
5. E. Albert, S. Genaim, and M. Gómez-Zamalloa. Live Heap Space Analysis for Languages with Garbage Collection. In ISMM'09: Proceedings of the 8th international symposium on Memory management, New York, NY, USA, June 2009. ACM Press
6. ECRC. Eclipse User's Guide. European Computer Research Center, 1993
7. Lindholm T., and Yellin F. The Java Virtual Machine Specification (1996) A-W
8. Java ME. http://java.sun.com/javame/technology/index.jsp
9. MIDP. http://java.sun.com/javame/reference/apis/jsr118/javax/-microedition/midlet/package-summary.html
10. G. Necula. Proof-Carrying Code. In Proc. of ACM Symposium on Principles of programming languages (POPL), pages 106-119. ACM Press, 1997
11. A. Podelski and A. Rybalchenko. A complete method for the synthesis of linear ranking functions. In VMCAI, 2004
12. Java Community Process MIDP Release. http://jcp.org/aboutJava/communityprocess/final/jsr118-/index.html
13. Java SE. http://java.sun.com/javase/technologies/index.jsp
14. Wegbreit B. Mechanical Program Analysis. Comm. of the ACM 18 9 (1975)