Source: http://cliplab.org/clippubsbytopic/node2.html
Timestamp: 2019-04-23 22:47:20+00:00

Document:
E. Albert, S. Genaim, M. Gómez-Zamalloa. Live Heap Space Analysis for Languages with Garbage Collection. 8th international symposium on Memory management, pages 129-138, ACM Press, June 2009.
E. Albert, S. Genaim, M. Gómez-Zamalloa. Heap Space Analysis for Java Bytecode. Proceedings of the 6th International Symposium on Memory Management (ISMM'07), pages 105-116, ACM Press, October 2007.
P. Pietrzak, M. V. Hermenegildo. Automatic Binding-related Error Diagnosis in Logic Programs. International Conference on Logic Programming (ICLP'07), LNCS, Num. 4670, pages 333-347, Springer-Verlag, September 2007.
E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Reduced Certificates for Abstraction-Carrying Code. 22nd International Conference on Logic Programming (ICLP 2006), LNCS, Num. 4079, pages 163-178, Springer-Verlag, August 2006.
G. Puebla, M. Comini, W. Drabent, M. Ducass, M. Fabris, M. Meier, Ch. Schulte. Tools and Environments for Constraint Logic Programming. International Logic Programming Symposium, pages 417-418, October 1997. Workshop abstract.
E. Mera, P. López-García, M. Carro, M. V. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based Languages. 10th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08), pages 174-184, ACM Press, July 2008.
E. Albert, G. Puebla, M. V. Hermenegildo. Abstraction-Carrying Code: A Model for Mobile Code Safety. New Generation Computing, Vol. 26, Num. 2, pages 171-204, March 2008.
P. Pietrzak, J. Correas, G. Puebla, M. V. Hermenegildo. A Practical Type Analysis for Verification of Modular Prolog Programs. ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM'08), pages 61-70, ACM Press, January 2008.
M. Méndez-Lojo, J. Navas, M. Hermenegildo. A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs. 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2007), Lecture Notes in Computer Science, Num. 4915, pages 154-168, Springer-Verlag, August 2007.
E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla. Verification of Java Bytecode using Analysis and Transformation of Logic Programs. Ninth International Symposium on Practical Aspects of Declarative Languages (PADL 2007), LNCS, Num. 4354, pages 124-139, Springer-Verlag, January 2007.
E. Albert, P. Arenas, G. Puebla. An Incremental Approach to Abstraction-Carrying Code. 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06), LNCS, Num. 4246, pages 377-391, Springer-Verlag, November 2006.
P. Pietrzak, J. Correas, G. Puebla, M. V. Hermenegildo. Context-Sensitive Multivariant Assertion Checking in Modular Programs. 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'06), LNCS, Num. 4246, pages 392-406, Springer-Verlag, November 2006.
J. Gallagher, G. Puebla. Abstract Interpretation over Non-Deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. Fourth International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 2257, pages 243-261, Springer-Verlag, January 2002.
G. Puebla, F. Bueno, M. V. Hermenegildo. Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs (also available in ps). Logic-based Program Synthesis and Transformation (LOPSTR'99), LNCS, Num. 1817, pages 273-292, Springer-Verlag, March 2000.
M. Méndez-Lojo. A Generic Approach to Bytecode Analysis. Ph.D. Thesis, University of New Mexico (UNM), Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA), August 2008.
J. Navas. Analysis and Inference of Resource Usage Information. Ph.D. Thesis, University of New Mexico (UNM), Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA), August 2008.
J. Correas. Analysis and Verification of Modular Programs. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, June 2008.
A. López Luengo. APT: implementación de un visualizador gráfico de la ejecución de programas lógicos. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, October 1997. In Spanish.
Elvira Albert. Upper Bounds on Memory Usage for Garbage-Collected Languages . Workshop on Quantitative Analysis of Software (QA'09), 1 pages, June 2009.
G. Barthe, L. Beringer, P. Crégut, B. Grégoire, M. Hofmann, P. Müller, E. Poll, G. Puebla, I. Stark, E. Vétillard. MOBIUS: Mobility, Ubiquity, Security: Objectives and progress report. Trustworthy Global Computing'06, LNCS, Num. 4661, pages 10-29, Springer, March 2007.
G. Puebla, E. Albert, P. Arenas, M. V. Hermenegildo. On Abstraction-Carrying Code and Certificate-Size Reduction. 1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006), 15 pages, March 2006.
M. V. Hermenegildo, G. Puebla, F. Bueno, P. López-García. Abstract Verification and Debugging of Constraint Logic Programs. Recent Advances in Constraints, LNCS, Num. 2627, pages 1-14, Springer-Verlag, January 2003.
M. V. Hermenegildo, F. Bueno, G. Puebla, P. López-García. Program Debugging and Validation Using Semantic Approximations and Partial Specifications (also available in ps). 29 th. International Colloqium on Automata, Languages, and Programming (ICALP), LNCS, Num. 2380, pages 69-72, Springer-Verlag, July 2002.
E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Resource Usage Analysis and its Application to Resource Certification. 9th International School on Foundations of Security Analysis and Design (FOSAD'09), Lecture Notes in Computer Science, Num. 5705, pages 258-288, Springer, 2009.
E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. A Generic Framework for the Cost Analysis of Java Bytecode. Spanish Conference on Programming and Computer Languages (PROLE'07), September 2007.
J. Navas, M. Méndez-Lojo, M. V. Hermenegildo. An Efficient, Context and Path Sensitive Analysis Framework for Java Programs. 9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007, 12 pages, July 2007.
E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini. Termination Analysis of Java Bytecode. 9th International Workshop on Termination, WST'07, June 2007.
M. Méndez-Lojo, J. Navas, M. V. Hermenegildo. An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2007), Electronic Notes in Theoretical Computer Science, Elsevier - North Holland, March 2007.
E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Experiments in Cost Analysis of Java Bytecode. ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'07), Electronic Notes in Theoretical Computer Science, Vol. 190, Issue 1, Elsevier, 2007.
E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Generation of Reduced Certificates in Abstraction-Carrying Code. VI Jornadas Programación y Lenguajes (PROLE'06), 10 pages, October 2006.
E. Albert, P. Arenas, G. Puebla. Some Issues on Incremental Abstraction-Carrying Code. 16th Workshop on Logic-Based Methods in Programming Environments (WLPE'06) , 15 pages, August 2006.
E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla. Towards Verification of Java Bytecode using Tools for Logic Programming. International Workshop on Software Verification and Validation (SVV 2006), 15 pages, August 2006.
E. Albert, P. Arenas, G. Puebla. Incremental Certificates and Checkers for Abstraction-Carrying Code. Sixth Workshop on Issues in the Theory of Security, 16 pages, March 2006.
J. Navas, E. Mera, P. López-García, M. Hermenegildo. Inference of User-Definable Resource Bounds Usage for Logic Programs and its Applications. Num. CLIP5/2008.0, Technical University of Madrid (UPM), July 2008.
J. Navas, M. Méndez-Lojo, M. V. Hermenegildo. Customizable Resource Usage Analysis for Java Bytecode. Num. UNM TR-CS-2008-02 - CLIP1/2008.0, University of New Mexico, January 2008.
G. Román-Díez, G. Puebla. Java Bytecode Timing Cost Models. Num. CLIP12/2007.0, Technical University of Madrid, December 2007.
E. Mera, P. López-García, M. Carro, M. V. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages. Num. CLIP8/2007.0, Technical University of Madrid (UPM), August 2007.
E. Albert, P. Arenas, S. Genaim, G. Puebla. Automatic Inference of Upper Bounds for Cost Equation Systems. Num. CLIP10/2007.0, Technical University of Madrid, July 2007.
M. Méndez-Lojo, J. Navas, M. Hermenegildo. Efficient, Parametric Analysis of Java Bytecode. Num. CLIP9/2006.0, Technical University of Madrid (UPM), December 2006.
P. Pietrzak, M. V. Hermenegildo. Improved Automatic Error Diagnosis Based on Abstract Interpretation. Num. CLIP11/2006.0, Technical University of Madrid, September 2006.
E. Albert, P. Arenas, G. Puebla. An Incremental Approach to Abstraction-Carrying Code. Num. CLIP3/2006, 16 pages, Technical University of Madrid (UPM), March 2006.
E. Albert, G. Puebla, M. V. Hermenegildo. An Abstract Interpretation-based Approach to Mobile Code Safety. Num. CLIP8/2003.0, 18 pages, Technical University of Madrid, November 2003.
A. López, M. Carro. A User Guide to APT (also available in ps). Num. CLIP6/97.1, 12 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1997.
M. Carro, M. Hermenegildo. Some Design Issues in Constraint Program Visualization and Abstraction. Num. CLIP1/97.1, 20 pages, Technical University of Madrid (UPM), September 1997. Also as deliverable of the ESPRIT project DISCIPL.
M. V. Hermenegildo, The CLIP Group. An Automatic Documentation Generator for (C)LP - Reference Manual. Num. CLIP5/97.3, Facultad de Informática, UPM, August 1997. Online at http://ciao-lang.org.
A. Aggoun, F. Benhamou, F. Bueno, M. Carro, P. Deransart, W. Drabent, G. Ferrand, F. Goualard, M. V. Hermenegildo, C. Lai, J.Lloyd, J. Maluszynski, G. Puebla, A. Tessier. CP Debugging Tools: Clarification of Functionalities and Selection of the Tools. Num. D.WP1.1.M1.1-2, 15 pages, DISCIPL Project, June 1997.
M. Carro, L. Gómez, M. Hermenegildo. VISANDOR: A Tool for Visualizing And-/Or-parallelism in Logic Programs. Num. CLIP9/91.0, 17 pages, T.U. of Madrid (UPM), June 1991.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.