Manuel V. Hermenegildo

328 papers A* 4A 6B 48C 53Misc 6Journal 104Unranked 93

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	Multi-configurable Search Rules in Prolog and Application to Testing. PADL Daniela Ferreiro, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025	J	`jnl`	Abstractions of Sequences, Functions and Operators. CoRR Louis Rustenholz, Pedro López-García, Manuel V. Hermenegildo
2025	J	`jnl`	Checkification: A Practical Approach for Testing Static Analysis Truths. CoRR Daniela Ferreiro, Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025	J	`jnl`	Checkification: A Practical Approach for Testing Static Analysis Truths. Theory Pract. Log. Program. Daniela Ferreiro, Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025	C	`conf`	Extending the FSyntax/Hiord Approach with Imperative Notation. LOPSTR Paula Corral, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025	J	`jnl`	Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs. Theory Pract. Log. Program. Marco Ciccalè, Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025	J	`jnl`	Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs. CoRR Marco Ciccalè, Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025	—	`conf`	Some Enhancements to the Prolog Playground and ALD Notebooks for the Modern Prolog Classroom. ICLP Workshops José F. Morales, Daniela Ferreiro, Manuel V. Hermenegildo
2024	J	`jnl`	Abstract Environment Trimming. CoRR Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2024	J	`jnl`	Abstract Environment Trimming. Theory Pract. Log. Program. Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2024	B	`conf`	An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. SAS Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2024	J	`jnl`	An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. CoRR Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2024	—	`conf`	Teaching Pure LP with Prolog and a Fair Search Rule. ICLP Workshops Manuel V. Hermenegildo, José F. Morales, Pedro López-García
2023	C	`conf`	A Rule-Based Approach for Designing and Composing Abstract Domains. LOPSTR Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2023	B	`conf`	Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. ICLP Daniela Ferreiro, José F. Morales, Salvador Abreu, Manuel V. Hermenegildo
2023	—	`book`	Prolog: The Next 50 Years David Scott Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert A. Kowalski, Francesca Rossi
2023	—	`ch.`	Some Thoughts on How to Teach Prolog. Prolog: The Next 50 Years Manuel V. Hermenegildo, José F. Morales, Pedro López-García
2023	B	`ed.`	Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings SAS Manuel V. Hermenegildo, José F. Morales
2023	—	`ch.`	Teaching Prolog with Active Logic Documents. Prolog: The Next 50 Years José F. Morales, Salvador Abreu, Daniela Ferreiro, Manuel V. Hermenegildo
2023	C	`conf`	Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. LOPSTR John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro López-García
2023	—	`ch.`	Types, Modes and so Much More - The Prolog Way. Prolog: The Next 50 Years Manuel V. Hermenegildo, José F. Morales, Pedro López-García, Manuel Carro
2022	J	`jnl`	50 Years of Prolog and Beyond. CoRR Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
2022	—	`conf`	An s(CASP) In-Browser Playground based on Ciao Prolog. ICLP Workshops Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro
2022	J	`jnl`	Analysis and Transformation of Constrained Horn Clauses for Program Verification. Theory Pract. Log. Program. Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
2022	J	`jnl`	Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
2022	J	`jnl`	Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
2021	J	`jnl`	A general framework for static profiling of parametric resource usage - CORRIGENDUM. Theory Pract. Log. Program. Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2021	J	`jnl`	Analysis and Transformation of Constrained Horn Clauses for Program Verification. CoRR Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
2021	J	`jnl`	Incremental and Modular Context-sensitive Analysis. Theory Pract. Log. Program. Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2021	J	`jnl`	Parallel Logic Programming: A Sequel. CoRR Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
2021	—	`conf`	Regular Path Clauses and Their Application in Solving Loops. HCVS@ETAPS Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales
2021	J	`jnl`	VeriFly: On-the-fly Assertion Checking via Incrementality. CoRR Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2021	J	`jnl`	VeriFly: On-the-fly Assertion Checking via Incrementality. Theory Pract. Log. Program. Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2020	B	`conf`	Cost Analysis of Smart Contracts Via Parametric Resource Analysis. SAS Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel V. Hermenegildo
2020	—	`conf`	From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. VPT/HCVS@ETAPS John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales
2020	J	`jnl`	Preface. Fundam. Informaticae Manuel V. Hermenegildo, Pedro López-García, Alberto Pettorossi, Maurizio Proietti
2020	C	`conf`	Testing Your (Static Analysis) Truths. LOPSTR Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2019	C	`conf`	A General Framework for Static Cost Analysis of Parallel Logic Programs. LOPSTR Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
2019	C	`conf`	An Integrated Approach to Assertion-Based Random Testing in Prolog. LOPSTR Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2019	C	`conf`	Computing Abstract Distances in Logic Programs. LOPSTR Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo
2019	J	`jnl`	Computing Abstract Distances in Logic Programs. CoRR Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2019	C	`conf`	Incremental Analysis of Logic Programs with Assertions and Open Predicates. LOPSTR Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2019	—	`ed.`	Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019 PEPM@POPL Manuel V. Hermenegildo, Atsushi Igarashi
2019	J	`jnl`	Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. CoRR Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
2018	J	`jnl`	An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. CoRR Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2018	J	`jnl`	An Approach to Static Performance Guarantees for Programs with Run-time Checks. CoRR Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2018	C	`conf`	Exploiting Term Hiding to Reduce Run-Time Checking Overhead. PADL Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2018	J	`jnl`	Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. CoRR Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
2018	J	`jnl`	Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Theory Pract. Log. Program. Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
2018	C	`conf`	Multivariant Assertion-Based Guidance in Abstract Interpretation. LOPSTR Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2018	J	`jnl`	Multivariant Assertion-based Guidance in Abstract Interpretation. CoRR Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2018	J	`jnl`	Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. Sci. Comput. Program. Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2018	C	`conf`	Static Performance Guarantees for Programs with Runtime Checks. PPDP Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2018	—	`conf`	Towards Incremental and Modular Context-Sensitive Analysis. ICLP (Technical Communications) Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2018	—	`conf`	Towards Static Performance Guarantees for Programs with Run-Time Checks. ICLP (Technical Communications) Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2017	J	`jnl`	An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors. Log. J. IGPL Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
2017	C	`conf`	Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. LOPSTR Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
2017	C	`ed.`	Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers LOPSTR Manuel V. Hermenegildo, Pedro López-García
2017	J	`jnl`	Term Hiding and its Impact on Run-time Check Simplification. CoRR Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2017	—	`conf`	Towards Run-time Checks Simplification via Term Hiding. ICLP (Technical Communications) Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2016	J	`jnl`	A General Framework for Static Profiling of Parametric Resource Usage. CoRR Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2016	Misc	`conf`	A Transformational Approach to Parametric Accumulated-Cost Static Profiling. FLOPS Rémy Haemmerlé, Pedro López-García, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo
2016	J	`jnl`	A general framework for static profiling of parametric resource usage. Theory Pract. Log. Program. Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2016	J	`jnl`	Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory Pract. Log. Program. José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2016	J	`jnl`	ENTRA: Whole-Systems Energy Transparency. CoRR Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
2016	J	`jnl`	ENTRA: Whole-systems energy transparency. Microprocess. Microsystems Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
2016	J	`jnl`	Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. CoRR Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
2016	J	`jnl`	Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). CoRR Manuel V. Hermenegildo, Pedro López-García
2016	B	`ed.`	Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016 CC Ayal Zaks, Manuel V. Hermenegildo
2016	C	`conf`	Reducing the overhead of assertion run-time checks via static analysis. PPDP Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2016	J	`jnl`	Semantic Code Browsing. CoRR Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2016	J	`jnl`	Semantic code browsing. Theory Pract. Log. Program. Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2015	—	`conf`	Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. FOPARA Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
2015	J	`jnl`	Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. CoRR Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
2015	J	`jnl`	Practical Run-time Checking via Unobtrusive Property Caching. CoRR Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2015	J	`jnl`	Practical run-time checking via unobtrusive property caching. Theory Pract. Log. Program. Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2015	J	`jnl`	Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. CoRR Francisco Corbera, Andrés Rodríguez, Rafael Asenjo, Angeles G. Navarro, Antonio Vilches, María Jesús Garzarán, Ismat Chaib Draa, Jamel Tayeb, Smaïl Niar, Mikael Desertot, Daniel Gregorek, Robert Schmidt, Alberto García Ortiz, Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo, Radim Vavrík, Albert Saà-Garriga, David Castells-Rufas, Jordi Carrabina
2015	J	`jnl`	Towards Energy Consumption Verification via Static Analysis. CoRR Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2014	J	`jnl`	An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. CoRR Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2014	C	`conf`	Assertion-based Debugging of Higher-Order (C)LP Programs. PPDP Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2014	J	`jnl`	Description and Optimization of Abstract Machines in a Dialect of Prolog. CoRR José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2014	C	`conf`	Pre-indexed Terms for Prolog. LOPSTR José F. Morales, Manuel V. Hermenegildo
2014	J	`jnl`	Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. CoRR Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
2014	J	`jnl`	Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Theory Pract. Log. Program. Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
2014	J	`jnl`	Towards Assertion-based Debugging of Higher-Order (C)LP Programs. CoRR Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2013	J	`jnl`	A sharing-based approach to supporting adaptation in service compositions. Computing Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2013	C	`conf`	Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. LOPSTR Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder
2013	C	`conf`	Reversible Language Extensions and Their Application in Debugging. PADL Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro
2013	J	`jnl`	Reversible Language Extensions and their Application in Debugging CoRR Zoé Drey, José F. Morales, Manuel V. Hermenegildo
2013	J	`jnl`	Sized Type Analysis for Logic Programs. Theory Pract. Log. Program. Alejandro Serrano, Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
2013	C	`conf`	Supporting Pruning in Tabled LP. PADL Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2013	J	`jnl`	The Ciao clp(FD) Library. A Modular CLP Extension for Prolog CoRR Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales
2013	J	`jnl`	Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. CoRR Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
2012	A	`conf`	A Constraint-Based Approach to Quality Assurance in Service Choreographies. ICSOC Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2012	Misc	`conf`	A General Implementation Framework for Tabled CLP. FLOPS Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey
2012	C	`conf`	A Segment-Swapping Approach for Executing Trapped Computations. PADL Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2012	J	`jnl`	An overview of Ciao and its design philosophy. Theory Pract. Log. Program. Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla
2012	—	`conf`	Analyzing service-oriented systems using their data and structure. S-Cube@ICSE Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2012	J	`jnl`	Certificate size reduction in abstraction-carrying code. Theory Pract. Log. Program. Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo
2012	—	`conf`	Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations. PESOS@ICSE Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2012	J	`jnl`	Lightweight compilation of (C)LP to JavaScript CoRR José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
2012	J	`jnl`	Lightweight compilation of (C)LP to JavaScript. Theory Pract. Log. Program. José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
2011	—	`conf`	An Overview of the Ciao System. RuleML Europe Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
2011	J	`jnl`	An overview of Ciao and its design philosophy CoRR Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla
2011	—	`conf`	Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. IEEE SCC Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2011	C	`conf`	CLP projection for constraint handling rules. PPDP Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo
2011	A	`conf`	Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. ICSOC Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2011	J	`jnl`	Efficient local unfolding with ancestor stacks. Theory Pract. Log. Program. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2011	—	`conf`	Interval-Based Resource Usage Verification: Formalization and Prototype. FOPARA Pedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo
2011	—	`ch.`	Logic Languages. Encyclopedia of Parallel Computing Manuel Carro, Manuel V. Hermenegildo
2011	C	`conf`	Modular Extensions for Modular (Logic) Languages. LOPSTR José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé
2011	J	`jnl`	Parallel Backtracking with Answer Memoing for Independent And-Parallelism CoRR Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2011	J	`jnl`	Parallel backtracking with answer memoing for independent and-parallelism. Theory Pract. Log. Program. Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2011	C	`conf`	Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. PADL Edison Mera, Teresa Trigo, Pedro López-García, Manuel V. Hermenegildo
2010	A	`conf`	Automatic Fragment Identification in Workflows Based on Sharing Analysis. ICSOC Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2010	J	`jnl`	Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. New Gener. Comput. Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
2010	J	`jnl`	Certificate size reduction in Abstraction-Carrying Code CoRR Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo
2010	J	`jnl`	Introduction to the 26th International Conference on Logic Programming Special Issue CoRR Manuel V. Hermenegildo, Torsten Schaub
2010	J	`jnl`	Introduction to the 26th international conference on logic programming special issue. Theory Pract. Log. Program. Manuel V. Hermenegildo, Torsten Schaub
2010	—	`conf`	Introduction to the Technical Communications of the 26th International Conference on Logic Programming. ICLP (Technical Communications) Manuel V. Hermenegildo, Torsten Schaub
2010	J	`jnl`	Lock-free parallel dynamic programming. J. Parallel Distributed Comput. Alex D. Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth
2010	A*	`ed.`	Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 POPL Manuel V. Hermenegildo, Jens Palsberg
2010	—	`ed.`	Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, Edinburgh, Scotland, UK, July 16-19, 2010 ICLP (Technical Communications) Manuel V. Hermenegildo, Torsten Schaub
2010	—	`conf`	Titlepage, Table of Contents, Conference Organization. ICLP (Technical Communications) Manuel V. Hermenegildo, Torsten Schaub
2010	A	`conf`	Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. ICWS Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2010	J	`jnl`	Towards Parameterized Regular Type Inference Using Set Constraints CoRR Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo
2010	B	`ed.`	Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings VMCAI Gilles Barthe, Manuel V. Hermenegildo
2009	J	`jnl`	A Program Transformation for Continuation Call-Based Tabled Execution CoRR Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2009	B	`conf`	A Tabling Implementation Based on Variables with Multiple Bindings. ICLP Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2009	—	`conf`	An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. ICSOC/ServiceWave Workshops Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2009	J	`jnl`	Efficient Local Unfolding with Ancestor Stacks CoRR Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2009	C	`conf`	Identification of logically related heap regions. ISMM Mark Marron, Deepak Kapur, Manuel V. Hermenegildo
2009	B	`conf`	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. ICLP Edison Mera, Pedro López-García, Manuel V. Hermenegildo
2009	J	`jnl`	Non-strict independence-based program parallelization using sharing and freeness information. Theor. Comput. Sci. Daniel Cabeza Gras, Manuel V. Hermenegildo
2009	C	`conf`	Program Parallelization Using Synchronized Pipelining. LOPSTR Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo
2009	C	`conf`	Towards a Complete Scheme for Tabled Execution Based on Program Transformation. PADL Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2009	—	`conf`	User-Definable Resource Usage Bounds Analysis for Java Bytecode. BYTECODE@ETAPS Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo
2008	B	`conf`	A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. ICLP Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2008	B	`conf`	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. ICLP Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2008	C	`conf`	A practical type analysis for verification of modular prolog programs. PEPM Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
2008	J	`jnl`	Abstraction-Carrying Code: a Model for Mobile Code Safety. New Gener. Comput. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2008	C	`conf`	An Improved Continuation Call-Based Implementation of Tabling. PADL Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha
2008	—	`conf`	An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Concurrency, Graphs and Models Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla
2008	C	`conf`	Comparing tag scheme variations using an abstract machine generator. PPDP José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2008	B	`conf`	Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic
2008	—	`conf`	Efficient Set Sharing Using ZBDDs. LCPC Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo
2008	Misc	`ed.`	Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings FLOPS Jacques Garrigue, Manuel V. Hermenegildo
2008	—	`conf`	Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo
2008	B	`conf`	Negative Ternary Set-Sharing. ICLP Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo
2008	B	`conf`	Precise Set Sharing Analysis for Java-Style Programs. VMCAI Mario Méndez-Lojo, Manuel V. Hermenegildo
2008	—	`conf`	Sharing analysis of arrays, collections, and recursive structures. PASTE Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur
2008	C	`conf`	Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. PADL Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2008	C	`conf`	Towards execution time estimation in abstract machine-based languages. PPDP Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo
2007	C	`conf`	A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. LOPSTR Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo
2007	—	`conf`	An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. Bytecode@ETAPS Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo
2007	C	`conf`	Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. LOPSTR Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2007	B	`conf`	Automatic Binding-Related Error Diagnosis in Logic Programs. ICLP Pawel Pietrzak, Manuel V. Hermenegildo
2007	—	`conf`	Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk. DAMP Manuel V. Hermenegildo
2007	C	`conf`	Combining Static Analysis and Profiling for Estimating Execution Times. PADL Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2007	—	`conf`	Heap analysis in the presence of collection libraries. PASTE Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur
2007	J	`jnl`	Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling CoRR Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2007	—	`conf`	Towards a high-level implementation of flexible parallelism primitives for symbolic languages. PASCO Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2007	B	`conf`	User-Definable Resource Bounds Analysis for Logic Programs. ICLP Jorge A. Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo
2006	—	`conf`	A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. LCPC Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo
2006	Misc	`conf`	A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. FLOPS Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo
2006	B	`conf`	Abstract Interpretation with Specialized Definitions. SAS Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2006	B	`conf`	Context-Sensitive Multivariant Assertion Checking in Modular Programs. LPAR Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
2006	C	`conf`	Efficient Top-Down Set-Sharing Analysis Using Cliques. PADL Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo
2006	Misc	`conf`	High-level languages for small devices: a case study. CASES Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo
2006	B	`conf`	Reduced Certificates for Abstraction-Carrying Code. ICLP Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo
2006	C	`conf`	Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LOPSTR José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2006	B	`conf`	Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. ICLP Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2005	B	`conf`	A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. ICLP José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo
2005	J	`jnl`	A Generic Framework for the Analysis and Specialization of Logic Programs CoRR Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2005	B	`conf`	A Generic Framework for the Analysis and Specialization of Logic Programs. ICLP Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2005	—	`conf`	A Generic Framework for the Analysis and Specialization of Logic Programs. WLPE Germán Puebla, Manuel V. Hermenegildo, Elvira Albert
2005	—	`conf`	A Study of Set-Sharing Analysis via Clique. WLPE Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo
2005	J	`jnl`	A study of set-sharing analysis via cliques. CoRR Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo
2005	C	`conf`	Abstraction carrying code and resource-awareness. PPDP Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
2005	C	`conf`	Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
2005	J	`jnl`	Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Program. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2005	C	`ed.`	Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings PADL Manuel V. Hermenegildo, Daniel Cabeza
2005	C	`conf`	Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. LOPSTR Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo
2004	—	`ch.`	A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
2004	C	`conf`	A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). PADL Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo
2004	B	`conf`	Abstract Interpretation-Based Mobile Code Certification. ICLP Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2004	B	`conf`	Abstraction-Carrying Code. LPAR Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2004	—	`conf`	An Abstract Interpretation-based Approach to Mobile Code Safety. COCV Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2004	C	`conf`	Determinacy Analysis for Logic Programs Using Mode and Type Information. LOPSTR Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
2004	C	`conf`	Efficient Local Unfolding with Ancestor Stacks for Full Prolog. LOPSTR Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2004	—	`conf`	Experiments in abstract interpretation-based code certification for pervasive systems. SMC (2) Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2004	—	`conf`	Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. ASIAN Daniel Cabeza, Manuel V. Hermenegildo, James Lipton
2004	C	`conf`	Improved Compilation of Prolog to C Using Moded Types and Determinism Information. PADL José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2004	Misc	`conf`	Multivariant Non-failure Analysis via Standard Abstract Interpretation. FLOPS Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo
2004	—	`conf`	Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. Euro-Par Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
2003	B	`conf`	A Generic Persistence Model for (C)LP Systems. ICLP Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo
2003	C	`conf`	Abstract specialization and its applications. PEPM Germán Puebla, Manuel V. Hermenegildo
2003	J	`jnl`	Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library CoRR Daniel Cabeza, Manuel V. Hermenegildo
2003	B	`conf`	Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). SAS Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2002	—	`conf`	Abstract Verification and Debugging of Constraint Logic Programs. International Workshop on Constraint Solving and Constraint Logic Programming Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2002	A*	`conf`	Program Debugging and Validation Using Semantic Approximations and Partial Specifications. ICALP Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2002	B	`ed.`	Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings SAS Manuel V. Hermenegildo, Germán Puebla
2001	J	`jnl`	Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library. Theory Pract. Log. Program. Daniel Cabeza Gras, Manuel V. Hermenegildo
2001	B	`conf`	Efficient Negation Using Abstract Interpretation. LPAR Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo
2001	J	`jnl`	Guest editor's introduction Special issue on Logic Programming and the Internet. Theory Pract. Log. Program. Leon Sterling, Lee Naish, Manuel V. Hermenegildo
2001	J	`jnl`	Parallel execution of prolog programs: a survey. ACM Trans. Program. Lang. Syst. Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo
2000	—	`conf`	A Documentation Generator for (C)LP Systems. Computational Logic Manuel V. Hermenegildo
2000	—	`conf`	A Generic Processor for Program Validation and Debugging. Analysis and Visualization Tools for Constraint Programming Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
2000	—	`conf`	A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
2000	—	`conf`	A New Module System for Prolog. Computational Logic Daniel Cabeza Gras, Manuel V. Hermenegildo
2000	C	`conf`	A model for inter-module analysis and optimizing compilation. LOPSTR Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
2000	—	`conf`	An Assertion Language for Constraint Logic Programs. Analysis and Visualization Tools for Constraint Programming Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
2000	—	`ed.`	Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project) Analysis and Visualization Tools for Constraint Programming Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski
2000	—	`conf`	Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction. Analysis and Visualization Tools for Constraint Programming Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski
2000	—	`conf`	Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions. SARA Carlos Carreras, Manuel V. Hermenegildo
2000	J	`jnl`	Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey
2000	J	`jnl`	Independence in CLP languages. ACM Trans. Program. Lang. Syst. Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
2000	J	`jnl`	Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming. Parallel Comput. Manuel V. Hermenegildo
2000	—	`conf`	Tools for Constraint Visualisation: The VIFID/TRIFID Tool. Analysis and Visualization Tools for Constraint Programming Manuel Carro, Manuel V. Hermenegildo
2000	—	`conf`	Tools for Search-Tree Visualisation: The APT Tool. Analysis and Visualization Tools for Constraint Programming Manuel Carro, Manuel V. Hermenegildo
1999	—	`conf`	A System for Automatically Generating Documentation for (C)LP Programs. WLPE@ICLP Manuel V. Hermenegildo
1999	J	`jnl`	Abstract Multiple Specialization and Its Application to Program Parallelization. J. Log. Program. Germán Puebla, Manuel V. Hermenegildo
1999	C	`conf`	An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. PEPM Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher
1999	J	`jnl`	Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. J. Log. Program. Kalyan Muthukumar, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1999	C	`conf`	Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. LOPSTR Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
1999	B	`conf`	Concurrency in Prolog Using Threads and a Shared Database. ICLP Manuel Carro, Manuel V. Hermenegildo
1999	J	`jnl`	Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Trans. Program. Lang. Syst. Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1999	B	`conf`	Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. ICLP Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García
1999	—	`conf`	Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. WOID@ICLP Germán Puebla, Manuel V. Hermenegildo
1999	—	`conf`	The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP Daniel Cabeza Gras, Manuel V. Hermenegildo
1999	—	`conf`	The Ciao Module System: A New Module System for Prolog. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP Daniel Cabeza Gras, Manuel V. Hermenegildo
1999	—	`ch.`	Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. The Logic Programming Paradigm Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno
1998	A	`conf`	A Framework for Assertion-Based Debugging in Constraint Logic Programming. CP Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
1998	J	`jnl`	Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. Sci. Comput. Program. Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
1998	—	`conf`	Some Design Issues in the Visualization of Constraint Logic Program Execution. APPIA-GULP-PRODE Manuel Carro, Manuel V. Hermenegildo
1997	—	`conf`	Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. Euro-Par Manuel V. Hermenegildo
1997	J	`jnl`	Exploiting Goal Independence in the Analysis of Logic Programs. J. Log. Program. Michael Codish, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
1997	—	`conf`	Lower Bound Cost Estimation for Logic Programs. ILPS Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin
1997	B	`conf`	Non-Failure Analysis for Logic Programs. ICLP Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo
1997	—	`conf`	On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla
1997	—	`conf`	Programming with Global Analysis (Abstract). ILPS Manuel V. Hermenegildo
1997	J	`jnl`	Some Challenges for Constraint Programming. Constraints An Int. J. Manuel V. Hermenegildo
1996	J	`jnl`	A Methodology for Granularity-Based Control of Parallelism in Logic Programs. J. Symb. Comput. Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray
1996	C	`conf`	Abstract Specialization and Its Application to Program Parallelization. LOPSTR Germán Puebla, Manuel V. Hermenegildo
1996	—	`conf`	Automatic Optimization of Dynamic Scheduling in Logic Programs. PLILP Germán Puebla, Manuel V. Hermenegildo
1996	—	`conf`	Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. Euro-Par, Vol. II Kish Shen, Manuel V. Hermenegildo
1996	J	`jnl`	Global Analysis of Constraint Logic Programs. ACM Trans. Program. Lang. Syst. Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens
1996	A	`conf`	Global Analysis of Standard Prolog Programs. ESOP Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla
1996	J	`jnl`	High-level characteristics of or- and independent and-parallelism in prolog. Int. J. Parallel Program. Kish Shen, Manuel V. Hermenegildo
1996	—	`conf`	IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. Euro-Par, Vol. II M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo
1996	—	`conf`	Implementing Distributed Concurrent Constraint Execution in the CIAO System. APPIA-GULP-PRODE Daniel Cabeza, Manuel V. Hermenegildo
1996	J	`jnl`	Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. Comput. Lang. Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo
1996	—	`conf`	Independence in Dynamically Scheduled Logic Languages. ALP Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
1996	B	`conf`	Optimized Algorithms for Incremental Analysis of Logic Programs. SAS Germán Puebla, Manuel V. Hermenegildo
1996	J	`jnl`	Relating Data-Parallelism and (and-) Parallelism in Logic Programs. Comput. Lang. Manuel V. Hermenegildo, Manuel Carro
1996	J	`jnl`	Some cCallenges for Constraint Programming. ACM Comput. Surv. Manuel V. Hermenegildo
1996	—	`conf`	The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
1996	—	`conf`	Towards Independent And-Parallelism in CLP. PLILP Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo
1995	—	`conf`	&ACE: a high-performance parallel Prolog system. IPPS Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo
1995	B	`conf`	Efficient Term Size Computation for Granularity Control. ICLP Manuel V. Hermenegildo, Pedro López-García
1995	J	`jnl`	Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. J. Log. Program. Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher
1995	C	`conf`	Implementation of Multiple Specialization in Logic Programs. PEPM Germán Puebla, Manuel V. Hermenegildo
1995	J	`jnl`	Improving Abstract Interpretations by Combining Domains. ACM Trans. Program. Lang. Syst. Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
1995	B	`conf`	Incremental Analysis of Logic Programs. ICLP Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey
1995	—	`ed.`	Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings Manuel V. Hermenegildo, S. Doaitse Swierstra
1995	—	`conf`	Relating Data-Parallelism and (And-) Parallelism in Logic Programs. Euro-Par Manuel V. Hermenegildo, Manuel Carro
1995	J	`jnl`	Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. J. Log. Program. Manuel V. Hermenegildo, Francesca Rossi
1995	B	`conf`	Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. ICLP Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro
1994	—	`conf`	&ACE: the And-parallel Component of ACE (A Progress Report on ACE). ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo
1994	—	`conf`	A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs. PASCO Francisco Bueno, Maria Garcia de la Banda, Manuel V. Hermenegildo
1994	—	`conf`	A Note on Data-Parallelism and (And-Parallel) Prolog. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs Manuel V. Hermenegildo, Manuel Carro
1994	B	`conf`	ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa
1994	—	`conf`	Analytic Model of a Cache Only Memory Architecture. PARLE Carlos Carreras, Carlos A. López Bario, Manuel V. Hermenegildo
1994	A*	`conf`	Analyzing Logic Programs with Dynamic Scheduling. POPL Kim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo
1994	—	`conf`	Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. ILPS Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1994	B	`conf`	Estimating the Computational Cost of Logic Programs. SAS Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin
1994	B	`conf`	Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information. SAS Daniel Cabeza Gras, Manuel V. Hermenegildo
1994	—	`conf`	From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ALP Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
1994	B	`conf`	Goal Dependent versus Goal Independent Analysis of Logic Programs. LPAR Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo
1994	J	`jnl`	Guest Editor's Introduction. J. Log. Program. Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher
1994	—	`conf`	IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo
1994	—	`ed.`	Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings PLILP Manuel V. Hermenegildo, Jaan Penjam
1994	—	`conf`	Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System. PPCP Manuel V. Hermenegildo
1994	—	`conf`	Towards Granularity Based Control of Parallelism in Logic Programs. PASCO Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray
1994	—	`conf`	Towards a Concurrent Semantics based Analysis of CC and CLP. PPCP Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1994	—	`conf`	Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems. Workshop on Design and Impl. of Parallel Logic Programming Systems Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro
1993	—	`conf`	A Practical Approach to the Global Analysis of CLP Programs. ILPS Maria J. García de la Banda, Manuel V. Hermenegildo
1993	J	`jnl`	And-Or Parallel Prolog: A Recomputation Based Approach. New Gener. Comput. Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa
1993	C	`conf`	Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. LOPSTR M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo
1993	—	`conf`	Contextual Nets and Constraint Logic Programming. ICLP Workshop on Concurrent Constraint Programming Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1993	—	`conf`	Divided We Stand: Parallel Distributed Stack Memory Management. ICLP-Workshops on Implementation of Logic Programming Systems Kish Shen, Manuel V. Hermenegildo
1993	C	`conf`	Improving Abstract Interpretations by Combining Domains. PEPM Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
1993	—	`conf`	Independence in Constraint Logic Programs. ICLP Workshop on Concurrent Constraint Programming Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
1993	—	`conf`	Independence in Constraint Logic Programs. ILPS Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
1993	B	`conf`	Some Paradigms for Visualizing Parallel Execution of Logic Programs. ICLP Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo
1992	—	`conf`	A Practical Application of Sharing and Freeness Inference. WSA Maria J. García de la Banda, Manuel V. Hermenegildo
1992	—	`conf`	An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. FGCS Francisco Bueno, Manuel V. Hermenegildo
1992	J	`jnl`	Compile-Time Derivation of Variable Dependency Using Abstract Interpretation. J. Log. Program. Kalyan Muthukumar, Manuel V. Hermenegildo
1992	—	`conf`	Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. IJCSLP Workshop on Concurrent and Parallel Implementations Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa
1992	J	`jnl`	Global Flow Analysis as a Practical Compilation Tool. J. Log. Program. Manuel V. Hermenegildo, Richard A. Warren, Saumya K. Debray
1992	—	`conf`	Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. IJCSLP Workshop on Concurrent and Parallel Implementations Luis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo
1992	—	`conf`	Independent AND-Parallel Implementation of Narrowing. PLILP Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo
1992	—	`conf`	Recomputation based Implementations of And-Or Parallel Prolog. FGCS Gopal Gupta, Manuel V. Hermenegildo
1992	—	`conf`	The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism. AIFIPP Manuel V. Hermenegildo
1991	—	`conf`	A Simulation Study of Or- and and Independent And-parallelism. ISLP Kish Shen, Manuel V. Hermenegildo
1991	—	`conf`	A Technique for Recursive Invariance Detection and Selective Program Specification. PLILP Fosca Giannotti, Manuel V. Hermenegildo
1991	—	`conf`	ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP Workshop on Parallel Execution of Logic Programs Gopal Gupta, Manuel V. Hermenegildo
1991	B	`conf`	Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation. ICLP Kalyan Muthukumar, Manuel V. Hermenegildo
1991	—	`conf`	IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. ISLP Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo
1991	J	`jnl`	The &-Prolog System: Exploiting Independent And-Parallelism. New Gener. Comput. Manuel V. Hermenegildo, K. J. Greene
1990	B	`conf`	&-Prolog and its Performance: Exploiting Independent And-Parallelism. ICLP Manuel V. Hermenegildo, K. J. Greene
1990	—	`ed.`	Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29 - November 1, 1990 NACLP Saumya K. Debray, Manuel V. Hermenegildo
1990	B	`conf`	Non-Strict Independent And-Parallelism. ICLP Manuel V. Hermenegildo, Francesca Rossi
1990	A*	`conf`	Task Granularity Analysis in Logic Programs. PLDI Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo
1990	B	`conf`	The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. ICLP Kalyan Muthukumar, Manuel V. Hermenegildo
1989	B	`conf`	Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism. ICLP Kalyan Muthukumar, Manuel V. Hermenegildo
1989	—	`conf`	Determination of Variable Dependence Information through Abstract Interpretation. NACLP Kalyan Muthukumar, Manuel V. Hermenegildo
1989	J	`jnl`	Memory referencing characteristics and caching performance of AND-Parallel Prolog on shared-memory multiprocessors. New Gener. Comput. Manuel V. Hermenegildo, Evan Tick
1989	—	`conf`	On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. NACLP Manuel V. Hermenegildo, Francesca Rossi
1988	—	`conf`	Constructs and evaluations strategies for intelligent speculative parallelism - armageddon revisited. ACM Conference on Computer Science Adolfo Guzmán, Manuel V. Hermenegildo
1988	—	`conf`	Memory Performance of AND-parallel Prolog on Shared-Memory Architectures. ICPP (2) Manuel V. Hermenegildo, Evan Tick
1988	—	`conf`	On the Practicality of Global Flow Analysis of Logic Programs. ICLP/SLP Richard A. Warren, Manuel V. Hermenegildo, Saumya K. Debray
1987	J	`jnl`	Designing a high performance parallel logic programming system. SIGARCH Comput. Archit. News Manuel V. Hermenegildo, Richard A. Warren
1987	B	`conf`	Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. ICLP Manuel V. Hermenegildo
1986	B	`conf`	An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs. ICLP Manuel V. Hermenegildo
1986	—	`—`	An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel. Manuel V. Hermenegildo
1986	B	`conf`	Efficient Management of Backtracking in AND-Parallelism. ICLP Manuel V. Hermenegildo, R. I. Nasr
1985	B	`conf`	B-Log: A Branch and Bound Methodology for the Parallel Execution of Logic Programs. ICPP G. Jack Lipovski, Manuel V. Hermenegildo