Elvira Albert

Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, 2013

May-Happen-in-Parallel Analysis for Priority-Based Scheduling.

[BibT_eX]

[DOI]

Enrique Martin-Martin

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

A Transformational Approach to Resource Analysis with Typed-Norms.

[BibT_eX]

[DOI]

Raúl Gutiérrez

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

Quantified Abstractions of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2013

Termination and Cost Analysis of Loops with Concurrent Interleavings.

[BibT_eX]

[DOI]

Enrique Martin-Martin

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Certificate size reduction in abstraction-carrying code.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

Cost analysis of object-oriented bytecode programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

MayPar: a may-happen-in-parallel analyzer for concurrent objects.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Incremental resource usage analysis.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

COSTABS: a cost and termination analyzer for ABS.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Symbolic Execution of Concurrent Objects in CLP.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2012

Automatic Inference of Resource Consumption Bounds.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Towards Testing Concurrent Objects in CLP.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Analysis of May-Happen-in-Parallel in Concurrent Objects.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2012

Automated Extraction of Abstract Behavioural Models from JMS Applications.

[BibT_eX]

[DOI]

Bjarte M. Østvold

José Miguel Rojas

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

Automatic Inference of Bounds on Resource Consumption.

[BibT_eX]

[DOI]

Diego Esteban Alonso-Blas

Jesús Correas

Proceedings of the Formal Methods for Components and Objects, 2012

Verified Resource Guarantees for Heap Manipulating Programs.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Efficient local unfolding with ancestor stacks.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

Closed-Form Upper Bounds in Static Cost Analysis.

[BibT_eX]

[DOI]

J. Autom. Reason., 2011

jPET: An Automatic Test-Case Generator for Java.

[BibT_eX]

[DOI]

Israel Cabanas

Sergio Gutierrez

Proceedings of the 18th Working Conference on Reverse Engineering, 2011

More Precise Yet Widely Applicable Cost Analysis.

[BibT_eX]

[DOI]

Abu Naser Masud

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Verified resource guarantees using COSTA and KeY.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Resource-Driven CLP-Based Test Case Generation.

[BibT_eX]

[DOI]

José Miguel Rojas

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Task-level analysis for a language with async/finish parallelism.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Simulating Concurrent Behaviors with Worst-Case Cost Bounds.

[BibT_eX]

[DOI]

Silvia Lizeth Tapia Tarifa

Einar Broch Johnsen

Rudolf Schlatte

Proceedings of the FM 2011: Formal Methods, 2011

Cost Analysis of Concurrent OO Programs.

[BibT_eX]

[DOI]

German Puebla

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Test case generation for object-oriented imperative languages in CLP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis.

[BibT_eX]

[DOI]

Diana V. Ramírez-Deantes

Proceedings of the Static Analysis - 17th International Symposium, 2010

PET: a partial evaluation-based test case generation tool for Java bytecode.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Compositional CLP-Based Test Data Generation for Imperative Languages.

[BibT_eX]

[DOI]

José Miguel Rojas

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

Parametric inference of memory requirements for garbage collected languages.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Memory Management, 2010

2009

Type-based homeomorphic embedding for online termination.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2009

Decompilation of Java bytecode to Prolog by partial evaluation.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2009

Preface.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

Termination and Cost Analysis with COSTA and its User Interfaces.

[BibT_eX]

[DOI]

German Puebla

Diana V. Ramírez-Deantes

Guillermo Román-Díez

Damiano Zanardini

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

On the Generation of Test Data for Prolog by Partial Evaluation

[BibT_eX]

[DOI]

CoRR, 2009

Live heap space analysis for languages with garbage collection.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Memory Management, 2009

Resource Usage Analysis and Its Application to Resource Certification.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security Analysis and Design V, 2009

Comparing Cost Functions in Resource Analysis.

[BibT_eX]

[DOI]

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

Field-Sensitive Value Analysis by Field-Insensitive Analysis.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

Asymptotic Resource Usage Bounds.

[BibT_eX]

[DOI]

Diego Esteban Alonso-Blas

German Puebla

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Abstraction-Carrying Code: a Model for Mobile Code Safety.

[BibT_eX]

[DOI]

New Gener. Comput., 2008

Cost Relation Systems: A Language-Independent Target Language for Cost Analysis.

[BibT_eX]

[DOI]

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Modular Decompilation of Low-Level Code by Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 15th International Symposium, 2008

Removing useless variables in cost analysis of Java bytecode.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Test Data Generation of Bytecode by CLP Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

Termination Analysis of Java Bytecode.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Formal Techniques for Java-Like Programs.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

2007

Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Experiments in Cost Analysis of Java Bytecode.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Some Issues on Incremental Abstraction-Carrying Code

[BibT_eX]

[DOI]

CoRR, 2007

Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.

[BibT_eX]

[DOI]

Laurent Hubert

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

Heap space analysis for java bytecode.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Memory Management, 2007

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

Cost Analysis of Java Bytecode.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007

2006

Abstract Interpretation with Specialized Definitions.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 13th International Symposium, 2006

An Incremental Approach to Abstraction-Carrying Code.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2006

Reduced Certificates for Abstraction-Carrying Code.

[BibT_eX]

[DOI]

Puri Arenas-Sánchez

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Operational semantics for declarative multi-paradigm languages.

[BibT_eX]

[DOI]

J. Symb. Comput., 2005

Abstraction carrying code and resource-awareness.

[BibT_eX]

[DOI]

Pedro López-García

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Converting One Type-Based Abstract Domain to Another.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

A Generic Framework for the Analysis and Specialization of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

An Abstract Interpretation-based Approach to Mobile Code Safety.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

Experiments in abstract interpretation-based code certification for pervasive systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

Abstraction-Carrying Code.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2004

Efficient Local Unfolding with Ancestor Stacks for Full Prolog.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

Abstract Interpretation-Based Mobile Code Certification.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 20th International Conference, 2004

Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System.

[BibT_eX]

[DOI]

Pedro López-García

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003

A residualizing semantics for the partial evaluation of functional logic programs.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2003

Time Equations for Lazy Functional (Logic) Languages.

[BibT_eX]

Josep Silva

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages.

[BibT_eX]

[DOI]

J. Funct. Log. Program., 2002

Operational Semantics for Functional Logic Languages.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

An Operational Semantics for Declarative Multi-Paradigm Languages.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002

A Deterministic Operational Semantics for Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

The Narrowing-driven Approach to Functional Logic Program Specialization.

[BibT_eX]

[DOI]

New Gener. Comput., 2001

Partial evaluation of multi-paradigm declarative languages.

[BibT_eX]

[DOI]

AI Commun., 2001

Symbolic Profiling for Multi-paradigm Declarative Languages.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2001

A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

Realistic Program Specialization in a Multi-Paradigm Language.

[BibT_eX]

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

List-Processing Optimizations in a Multi-Paradigm Declarative Language.

[BibT_eX]

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation.

[BibT_eX]

Sergio Antoy

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Using an Abstract Representation to Specialize Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.

[BibT_eX]

[DOI]

Sergio Antoy

Proceedings of the Logic Based Program Synthesis and Transformation, 2000

Measuring the Effectiveness of Partial Evaluation.

[BibT_eX]

Sergio Antoy

Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

Improving Functional Logic Programs by Difference-Lists.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 2000

1999

A Partial Evaluation Framework for Curry Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

1998

Improving Control in Functional Logic Program Specialization.

[BibT_eX]

[DOI]

María Alpuente

Moreno Falaschi

Pascual Julián Iranzo

Proceedings of the Static Analysis, 5th International Symposium, 1998

Polygenetic Partial Evaluation of Lazy Functional Logic Programs.

[BibT_eX]

María Alpuente

Moreno Falaschi

Pascual Julián Iranzo