| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini |
Cost analysis of object-oriented bytecode programs.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla |
Automatic Inference of Resource Consumption Bounds. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez |
Incremental resource usage analysis. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla |
COSTABS: a cost and termination analyzer for ABS. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla |
An overview of Ciao and its design philosophy |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Closed-Form Upper Bounds in Static Cost Analysis. |
J. Autom. Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient local unfolding with ancestor stacks. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez |
Verified resource guarantees using COSTA and KeY. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla |
Cost Analysis of Concurrent OO Programs. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla |
An Overview of the Ciao System. |
RuleML Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla |
Verification of Java Bytecode using Analysis and Transformation of Logic Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo |
Certificate size reduction in Abstraction-Carrying Code |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Test Case Generation for Object-Oriented Imperative Languages in CLP |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Test case generation for object-oriented imperative languages in CLP. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong |
HATS - A Formal Software Product Line Engineering Methodology. |
SPLC Workshops |
2010 |
DBLP BibTeX RDF |
|
| 1 | Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla |
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
PET: a partial evaluation-based test case generation tool for Java bytecode. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation |
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes |
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla |
Compositional CLP-Based Test Data Generation for Imperative Languages. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla |
Type-based homeomorphic embedding for online termination. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini |
Termination and Cost Analysis with COSTA and its User Interfaces. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
On the Generation of Test Data for Prolog by Partial Evaluation |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient Local Unfolding with Ancestor Stacks |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Decompilation of Java bytecode to Prolog by partial evaluation. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Germán Vidal (eds.) |
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009 |
PEPM |
2009 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Resource Usage Analysis and Its Application to Resource Certification. |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Field-Sensitive Value Analysis by Field-Insensitive Analysis. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Diego Alonso, Puri Arenas, Samir Genaim, German Puebla |
Asymptotic Resource Usage Bounds. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla |
Comparing Cost Functions in Resource Analysis. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Ochoa, Germán Puebla |
Oracle-Based Partial Evaluation. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstraction-Carrying Code: a Model for Mobile Code Safety. |
New Generation Comput. |
2008 |
DBLP DOI BibTeX RDF |
Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification |
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Modular Decompilation of Low-Level Code by Partial Evaluation. |
SCAM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini |
Termination Analysis of Java Bytecode. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
A practical type analysis for verification of modular prolog programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types |
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Removing useless variables in cost analysis of Java bytecode. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode |
| 1 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla |
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
Test Data Generation of Bytecode by CLP Partial Evaluation. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Ochoa, Germán Puebla |
A Study on the Practicality of Poly-Controlled Partial Evaluation. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Experiments in Cost Analysis of Java Bytecode. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Germán Puebla |
Some Issues on Incremental Abstraction-Carrying Code |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo |
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla |
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo |
Combining Static Analysis and Profiling for Estimating Execution Times. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
Mobile Computing, Profiling, Cost Models, Cost Analysis, Resource Awareness, Execution Time Estimation |
| 1 | Claudio Ochoa, Germán Puebla |
Poly-controlled partial evaluation in practice. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
resource-aware specialization, logic programming, partial evaluation |
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini |
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla (eds.) |
Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers |
LOPSTR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla |
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Cost Analysis of Java Bytecode. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Germán Puebla |
An Incremental Approach to Abstraction-Carrying Code. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
Context-Sensitive Multivariant Assertion Checking in Modular Programs. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo |
Reduced Certificates for Abstraction-Carrying Code. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo |
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo |
High-level languages for small devices: a case study. |
CASES |
2006 |
DBLP DOI BibTeX RDF |
program analysis and transformation, wearable computers, optimizing compilation, (constraint) logic programming |
| 1 | Germán Puebla, Claudio Ochoa |
Poly-controlled partial evaluation. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
control rules, optimization, partial evaluation |
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Abstract Interpretation with Specialized Definitions. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard |
MOBIUS: Mobility, Ubiquity, Security. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García |
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
An Abstract Interpretation-based Approach to Mobile Code Safety. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
A Generic Framework for the Analysis and Specialization of Logic Programs |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo, Elvira Albert |
A Generic Framework for the Analysis and Specialization of Logic Programs. |
WLPE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
A Generic Framework for the Analysis and Specialization of Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo |
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla |
Abstraction carrying code and resource-awareness. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness |
| 1 | Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno |
Experiments in Context-Sensitive Analysis of Modular Programs. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo |
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, John P. Gallagher |
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Germán Puebla, Elvira Albert |
Converting One Type-Based Abstract Domain to Another. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Experiments in abstract interpretation-based code certification for pervasive systems. |
SMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla |
Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
granularity control, mobile code certification, GRIDs, resource awareness, distributed execution |
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstraction-Carrying Code. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstract Interpretation-Based Mobile Code Certification. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey |
A Generic Framework for Context-Sensitive Analysis of Modular Programs. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient Local Unfolding with Ancestor Stacks for Full Prolog. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo |
Abstract specialization and its applications. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization |
| 1 | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García |
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Germán Puebla |
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García |
Program Debugging and Validation Using Semantic Approximations and Partial Specifications. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García |
Abstract Verification and Debugging of Constraint Logic Programs. |
International Workshop on Constraint Solving and Constraint Logic Programming |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Germán Puebla (eds.) |
Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings |
SAS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey |
Incremental analysis of constraint logic programs. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, constraint logic programming, incremental computation |
| 1 | Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo |
A Generic Processor for Program Validation and Debugging. |
Analysis and Visualization Tools for Constraint Programming |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo |
An Assertion Language for Constraint Logic Programs. |
Analysis and Visualization Tools for Constraint Programming |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey |
A Model for Inter-module Analysis and Optimizing Compilation. |
LOPSTR (LNCS 2042: Selected Papers) |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey |
A model for inter-module analysis and optimizing compilation. |
LOPSTR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo |
Abstract Multiple Specialization and Its Application to Program Parallelization. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo |
Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé, Anthony J. Kusalik, Germán Puebla |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García |
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher |
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo |
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo |
A Framework for Assertion-Based Debugging in Constraint Logic Programming. |
CP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey |
Optimization of Logic Programs with Dynamic Scheduling. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte |
Tools and Environments for (Constraint) Logic Programming (Workshop Overview). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla |
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla |
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. |
APPIA-GULP-PRODE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo |
Automatic Optimization of Dynamic Scheduling in Logic Programs. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo |
Optimized Algorithms for Incremental Analysis of Logic Programs. |
SAS |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")