|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 629 occurrences of 408 keywords
|
|
|
Results
Found 1612 publication records. Showing 1589 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Hector Puebla, Eliseo Hernandez-Martinez, Basilio Del-Muro-Cuéllar |
Controlling spatial interacting populations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Appl. Technol. ![In: Int. J. Comput. Appl. Technol. 41(1/2), pp. 103-108, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez |
Verified resource guarantees using COSTA and KeY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011, pp. 73-76, 2011, ACM, 978-1-4503-0485-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla |
Cost Analysis of Concurrent OO Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 238-254, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Guillermo Puebla-Ramírez, Sergio E. Chaigneau |
Is the Centrality of Design History Function an Effect of Causal Knowledge? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 33th Annual Meeting of the Cognitive Science Society, CogSci 2011, Boston, Massachusetts, USA, July 20-23, 2011, 2011, cognitivesciencesociety.org, 978-0-9768318-7-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
27 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Rémy Haemmerlé, Edison Mera, José F. Morales 0001, Germán Puebla |
An Overview of the Ciao System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML Europe ![In: Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings, pp. 2, 2011, Springer, 978-3-642-22545-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Yanet Espinal Martín, Manuel Enrique Puebla Martínez |
Sistema para la integración del proceso de normalización de bases de datos relacionales con gestores de bases de datos (SINORGES). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Avances en Sistemas Informática ![In: Rev. Avances en Sistemas Informática 7(3), pp. 17-26, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo |
Certificate size reduction in Abstraction-Carrying Code ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1010.4533, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla |
Verification of Java Bytecode using Analysis and Transformation of Logic Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1007.3250, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Test Case Generation for Object-Oriented Imperative Languages in CLP ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1007.5195, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Test case generation for object-oriented imperative languages in CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 10(4-6), pp. 659-674, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
PET: a partial evaluation-based test case generation tool for Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 25-28, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation |
27 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings, pp. 100-116, 2010, Springer, 978-3-642-15768-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla |
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 218-236, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Dave Clarke 0001, 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC Workshops ![In: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), pp. 121-128, 2010, Lancaster University, 978-1-86220-274-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla |
Compositional CLP-Based Test Data Generation for Imperative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers, pp. 99-116, 2010, Springer, 978-3-642-20550-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009, pp. 109-121, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla |
Type-based homeomorphic embedding for online termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 109(15), pp. 879-886, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
On the Generation of Test Data for Prolog by Partial Evaluation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0903.2199, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient Local Unfolding with Ancestor Stacks ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0911.4047, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Decompilation of Java bytecode to Prolog by partial evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 51(10), pp. 1409-1427, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![ACM, 978-1-60558-327-3 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Field-Sensitive Value Analysis by Field-Insensitive Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 370-386, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla |
Asymptotic Resource Usage Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, pp. 294-310, 2009, Springer, 978-3-642-10671-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla |
Comparing Cost Functions in Resource Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers, pp. 1-17, 2009, Springer, 978-3-642-15330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Resource Usage Analysis and Its Application to Resource Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSAD ![In: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures, pp. 258-288, 2009, Springer, 978-3-642-03828-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Claudio Ochoa, Germán Puebla |
Oracle-Based Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 145-161, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 31-46, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstraction-Carrying Code: a Model for Mobile Code Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 26(2), pp. 171-204, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification |
27 | Ricardo Colomo Palacios, Juan Miguel Gómez-Berbís, Ángel García-Crespo, Inmaculada Puebla-Sánchez |
Social Global Repository: using semantics and social web in software projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Knowl. Learn. ![In: Int. J. Knowl. Learn. 4(5), pp. 452-464, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
A practical type analysis for verification of modular prolog programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 61-70, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types |
27 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Removing useless variables in cost analysis of Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 368-375, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode |
27 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, José F. Morales 0001, Germán Puebla |
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 209-237, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Ricardo Colomo Palacios, Juan Miguel Gómez-Berbís, Ángel García-Crespo, Inmaculada Puebla-Sánchez |
Software Engineering 2.0: A Social Global Repository Based on Semantic Annotation and Social Web for Knowledge Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (2) ![In: The Open Knowlege Society. A Computer Science and Information Systems Manifesto, First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings, pp. 468-475, 2008, Springer, 978-3-540-87782-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Knowledge extrapolation, Software Engineering, Semantic Web, Web 2.0, Reuse |
27 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings, pp. 221-237, 2008, Springer, 978-3-540-69163-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini |
Termination Analysis of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, pp. 2-18, 2008, Springer, 978-3-540-68862-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Modular Decompilation of Low-Level Code by Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 28-29 September 2008, Beijing, China, pp. 239-248, 2008, IEEE Computer Society, 978-0-7695-3353-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
Test Data Generation of Bytecode by CLP Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers, pp. 4-23, 2008, Springer, 978-3-642-00514-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 85-101, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Experiments in Cost Analysis of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 67-83, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo |
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0701108, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Elvira Albert, Puri Arenas, Germán Puebla |
Some Issues on Incremental Abstraction-Carrying Code ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0701111, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla |
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 124-139, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo |
Combining Static Analysis and Profiling for Estimating Execution Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 140-154, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mobile Computing, Profiling, Cost Models, Cost Analysis, Resource Awareness, Execution Time Estimation |
27 | Claudio Ochoa, Germán Puebla |
Poly-controlled partial evaluation in practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007, pp. 164-173, 2007, ACM, 978-1-59593-620-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
resource-aware specialization, logic programming, partial evaluation |
27 | Miguel A. Sánchez-Puebla, Ignacio Aedo, Paloma Díaz 0001 |
Validation of Critical Parameters for Predictive Evaluation of Notification System in Avionics Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Human Interface and the Management of Information. Interacting in Information Environments, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 1109-1118, 2007, Springer, 978-3-540-73353-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Predictive Evaluation, Human Factors, Notification Systems, Evaluation/methodology, Critical Parameters |
27 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Cost Analysis of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 157-172, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini |
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, pp. 113-132, 2007, Springer, 978-3-540-92187-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla |
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers, pp. 23-42, 2007, Springer, 978-3-540-78768-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Germán Puebla (eds.) |
Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![Springer, 978-3-540-71409-5 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Claudio Ochoa, Germán Puebla |
A Study on the Practicality of Poly-Controlled Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 137-151, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann 0001, Peter Müller 0001, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard |
MOBIUS: Mobility, Ubiquity, Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, pp. 10-29, 2006, Springer, 978-3-540-75333-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Puri Arenas, Germán Puebla |
An Incremental Approach to Abstraction-Carrying Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 377-391, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
Context-Sensitive Multivariant Assertion Checking in Modular Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 392-406, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Moises Ortiz-Vargas, Hector Puebla |
A Cascade Control Approach for a Class of Biomedical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 28th International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2006, New York City, NY, USA, August 30 - September 3, 2006, Main Volume, pp. 4420-4423, 2006, IEEE, 1-4244-0032-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo |
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 431-432, 2006, Springer, 3-540-36635-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo |
Reduced Certificates for Abstraction-Carrying Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 163-178, 2006, Springer, 3-540-36635-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Abstract Interpretation with Specialized Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, pp. 107-126, 2006, Springer, 3-540-37756-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Manuel Carro, José F. Morales 0001, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo |
High-level languages for small devices: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2006 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2006, Seoul, Korea, October 22-25, 2006, pp. 271-281, 2006, ACM, 1-59593-543-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
program analysis and transformation, wearable computers, optimizing compilation, (constraint) logic programming |
27 | Germán Puebla, Claudio Ochoa |
Poly-controlled partial evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 261-271, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
control rules, optimization, partial evaluation |
27 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
A Generic Framework for the Analysis and Specialization of Logic Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0508111, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
27 | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 |
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 58(1-2), pp. 115-140, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Germán Puebla, Manuel V. Hermenegildo, Elvira Albert |
A Generic Framework for the Analysis and Specialization of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005, pp. 61-76, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
27 | José F. Morales 0001, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo |
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 21-36, 2005, Springer, 3-540-29208-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
A Generic Framework for the Analysis and Specialization of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 407-409, 2005, Springer, 3-540-29208-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla |
Abstraction carrying code and resource-awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 1-11, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness |
27 | John P. Gallagher, Germán Puebla, Elvira Albert |
Converting One Type-Based Abstract Domain to Another. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers, pp. 147-162, 2005, Springer, 3-540-32654-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno |
Experiments in Context-Sensitive Analysis of Modular Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers, pp. 163-178, 2005, Springer, 3-540-32654-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo |
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers, pp. 80-97, 2005, Springer, 3-540-32654-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Germán Puebla, John P. Gallagher |
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers, pp. 115-132, 2005, Springer, 3-540-32654-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
An Abstract Interpretation-based Approach to Mobile Code Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 113-129, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstraction-Carrying Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings, pp. 380-397, 2004, Springer, 3-540-25236-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla |
Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings, pp. 21-36, 2004, Springer, 3-540-22924-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
granularity control, mobile code certification, GRIDs, resource awareness, distributed execution |
27 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstract Interpretation-Based Mobile Code Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, pp. 446-447, 2004, Springer, 3-540-22671-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Experiments in abstract interpretation-based code certification for pervasive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 1125-1130, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient Local Unfolding with Ancestor Stacks for Full Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers, pp. 149-165, 2004, Springer, 3-540-26655-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Development in Computational Logic ![In: Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, pp. 233-260, 2004, Springer, 3-540-22152-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Germán Puebla, Manuel V. Hermenegildo |
Abstract specialization and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003, pp. 29-43, 2003, ACM, 1-58113-667-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization |
27 | Miguel A. Sánchez-Puebla, Jesús Carretero 0001 |
A new approach for distributed computing in avionics systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICT ![In: Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, Dublin, Ireland, September 24-26, 2003, pp. 579-584, 2003, Trinity College Dublin. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Hector Puebla, Jesus Valencia, Jose Alvarez-Ramirez |
Multivariable control configurations for fluid catalytic cracking units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 7th European Control Conference, ECC 2003, Cambridge, UK, September 1-4, 2003, pp. 1405-1410, 2003, IEEE, 978-3-9524173-7-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 |
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings, pp. 127-152, 2003, Springer, 3-540-40325-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Angel Luis Puebla Martínez |
Identificación de individuos mediante comparación borrosa de elementos lingüísticos obtenidos a partir de impresiones dactilares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
27 | Jose Alvarez-Ramirez, Hector Puebla, Ilse Cervantes |
Stability of Observer-Based Chaotic Communications for a Class of Lur'e Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 12(7), pp. 1605-1618, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | John P. Gallagher, Germán Puebla |
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 243-261, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 |
Program Debugging and Validation Using Semantic Approximations and Partial Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, pp. 69-72, 2002, Springer, 3-540-43864-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Manuel V. Hermenegildo, Germán Puebla (eds.) |
Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![Springer, 3-540-44235-9 The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 |
Abstract Verification and Debugging of Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Workshop on Constraint Solving and Constraint Logic Programming ![In: Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers, pp. 1-14, 2002, Springer, 3-540-00986-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | José Álvarez-Ramírez, Hector Puebla, Julio Solís-Daun |
An Inverse System Approach for Chaotic Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 11(5), pp. 1411-1422, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Jose Alvarez-Ramirez, Hector Puebla, Gilberto Espinosa-Paredes |
Linear Control in a Lattice of Coupled Second-Order oscillators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 11(1), pp. 185-196, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Jose Alvarez-Ramirez, Hector Puebla, J. Alberto Ochoa-Tapia |
Linear boundary control for a class of nonlinear PDE processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 44(5), pp. 395-403, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey |
Incremental analysis of constraint logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(2), pp. 187-223, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, constraint logic programming, incremental computation |
27 | Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo |
An Assertion Language for Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 23-62, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo |
A Generic Processor for Program Validation and Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 63-107, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR (LNCS 2042: Selected Papers) ![In: Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers., pp. 86-102, 2000, Springer, 3-540-42127-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000, London, UK, July 24-28, 2000., 2000, Department of Computer Science, University of Manchester. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
27 | Javier Otamendi Fernández de la Puebla |
G.E.S.A.S. Methodology: A Methodology for the Generation, Evaluation and Selection of Alternatives via Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 73(2), pp. 91-99, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Germán Puebla, Manuel V. Hermenegildo |
Abstract Multiple Specialization and Its Application to Program Parallelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 41(2-3), pp. 279-316, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Germán Puebla, Manuel V. Hermenegildo |
Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOID@ICLP ![In: Workshop on Optimization and Implementation of Declarative Programs, WOID 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 2-3, 1999, pp. 163-187, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Mireille Ducassé, Anthony J. Kusalik, Germán Puebla |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE@ICLP ![In: Tenth Workshop on Logic Programming Environments, WLPE 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999, pp. 197, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno |
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic Programming Paradigm ![In: The Logic Programming Paradigm - A 25-Year Perspective, pp. 161-192, 1999, Springer, 978-3-642-64249-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher |
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, USA, January 22-23, 1999. Technical report BRICS-NS-99-1, pp. 75-84, 1999, University of Aarhus. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
Displaying result #101 - #200 of 1589 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|