Manuel V. Hermenegildo

Proceedings of the Prolog: The Next 50 Years, 2023

Some Thoughts on How to Teach Prolog.

[BibT_eX]

[DOI]

Proceedings of the Prolog: The Next 50 Years, 2023

Teaching Prolog with Active Logic Documents.

[BibT_eX]

[DOI]

Salvador Abreu

Daniela Ferreiro

Proceedings of the Prolog: The Next 50 Years, 2023

Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials.

[BibT_eX]

[DOI]

Daniela Ferreiro

Salvador Abreu

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

A Rule-Based Approach for Designing and Composing Abstract Domains.

[BibT_eX]

[DOI]

Daniel Jurjo

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

Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation.

[BibT_eX]

[DOI]

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

2022

Fifty Years of Prolog and Beyond.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

Parallel Logic Programming: A Sequel.

[BibT_eX]

[DOI]

Agostino Dovier

Andrea Formisano

Ricardo Rocha

Theory Pract. Log. Program., 2022

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

[BibT_eX]

[DOI]

Emanuele De Angelis

Fabio Fioravanti

Alberto Pettorossi

Maurizio Proietti

Theory Pract. Log. Program., 2022

50 Years of Prolog and Beyond.

[BibT_eX]

[DOI]

Guillermo García-Pradales

CoRR, 2022

An s(CASP) In-Browser Playground based on Ciao Prolog.

[BibT_eX]

[DOI]

Joaquín Arias

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2021

VeriFly: On-the-fly Assertion Checking via Incrementality.

[BibT_eX]

[DOI]

Miguel A. Sanchez-Ordaz

Victor Perez-Carrasco

Theory Pract. Log. Program., 2021

A general framework for static profiling of parametric resource usage - CORRIGENDUM.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Incremental and Modular Context-sensitive Analysis.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Regular Path Clauses and Their Application in Solving Loops.

[BibT_eX]

[DOI]

Bishoksan Kafle

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

2020

Preface.

[BibT_eX]

[DOI]

Alberto Pettorossi

Maurizio Proietti

Fundam. Informaticae, 2020

From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020

Cost Analysis of Smart Contracts Via Parametric Resource Analysis.

[BibT_eX]

[DOI]

Victor Perez-Carrasco

José Francisco Morales

Proceedings of the Static Analysis - 27th International Symposium, 2020

Testing Your (Static Analysis) Truths.

[BibT_eX]

[DOI]

Ignacio Casso

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

2019

Towards a General Framework for Static Cost Analysis of Parallel Logic Programs.

[BibT_eX]

[DOI]

CoRR, 2019

Computing Abstract Distances in Logic Programs.

[BibT_eX]

[DOI]

Ignacio Casso

CoRR, 2019

A General Framework for Static Cost Analysis of Parallel Logic Programs.

[BibT_eX]

[DOI]

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

Incremental Analysis of Logic Programs with Assertions and Open Predicates.

[BibT_eX]

[DOI]

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

An Integrated Approach to Assertion-Based Random Testing in Prolog.

[BibT_eX]

[DOI]

Ignacio Casso

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

Computing Abstract Distances in Logic Programs.

[BibT_eX]

[DOI]

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

2018

Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Some trade-offs in reducing the overhead of assertion run-time checks via static analysis.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

An Approach to Static Performance Guarantees for Programs with Run-time Checks.

[BibT_eX]

[DOI]

CoRR, 2018

An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs.

[BibT_eX]

[DOI]

CoRR, 2018

Static Performance Guarantees for Programs with Runtime Checks.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Exploiting Term Hiding to Reduce Run-Time Checking Overhead.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2018

Multivariant Assertion-Based Guidance in Abstract Interpretation.

[BibT_eX]

[DOI]

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

Towards Static Performance Guarantees for Programs with Run-Time Checks.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

Towards Incremental and Modular Context-Sensitive Analysis.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2017

An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors.

[BibT_eX]

[DOI]

Zorana Bankovic

Log. J. IGPL, 2017

Term Hiding and its Impact on Run-time Check Simplification.

[BibT_eX]

[DOI]

CoRR, 2017

Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks.

[BibT_eX]

[DOI]

Zorana Bankovic

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

Towards Run-time Checks Simplification via Term Hiding.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2016

Description and Optimization of Abstract Machines in a Dialect of Prolog.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

A general framework for static profiling of parametric resource usage.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Semantic code browsing.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

ENTRA: Whole-systems energy transparency.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2016

Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks.

[BibT_eX]

[DOI]

Zorana Bankovic

CoRR, 2016

Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).

[BibT_eX]

[DOI]

CoRR, 2016

Reducing the overhead of assertion run-time checks via static analysis.

[BibT_eX]

[DOI]

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

A Transformational Approach to Parametric Accumulated-Cost Static Profiling.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015

Practical run-time checking via unobtrusive property caching.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Towards Energy Consumption Verification via Static Analysis.

[BibT_eX]

[DOI]

CoRR, 2015

Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015.

[BibT_eX]

[DOI]

CoRR, 2015

Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.

[BibT_eX]

[DOI]

Kerstin Eder

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

2014

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types.

[BibT_eX]

[DOI]

Alejandro Serrano

Theory Pract. Log. Program., 2014

Towards Assertion-based Debugging of Higher-Order (C)LP Programs.

[BibT_eX]

[DOI]

CoRR, 2014

An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs.

[BibT_eX]

[DOI]

CoRR, 2014

Assertion-based Debugging of Higher-Order (C)LP Programs.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Pre-indexed Terms for Prolog.

[BibT_eX]

[DOI]

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

2013

Sized Type Analysis for Logic Programs.

[BibT_eX]

[DOI]

Alejandro Serrano

Emilio Jesús Gallego Arias

Theory Pract. Log. Program., 2013

The Ciao clp(FD) Library. A Modular CLP Extension for Prolog

[BibT_eX]

[DOI]

CoRR, 2013

Reversible Language Extensions and their Application in Debugging

[BibT_eX]

[DOI]

Zoé Drey

CoRR, 2013

Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types.

[BibT_eX]

[DOI]

Alejandro Serrano

CoRR, 2013

A sharing-based approach to supporting adaptation in service compositions.

[BibT_eX]

[DOI]

Computing, 2013

Supporting Pruning in Tabled LP.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2013

Reversible Language Extensions and Their Application in Debugging.

[BibT_eX]

[DOI]

Zoé Drey

Proceedings of the Practical Aspects of Declarative Languages, 2013

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models.

[BibT_eX]

[DOI]

Kerstin Eder

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

2012

Lightweight compilation of (C)LP to JavaScript.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

An overview of Ciao and its design philosophy.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

Certificate size reduction in abstraction-carrying code.

[BibT_eX]

[DOI]

Puri Arenas

Theory Pract. Log. Program., 2012

A Segment-Swapping Approach for Executing Trapped Computations.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2012

A Constraint-Based Approach to Quality Assurance in Service Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Analyzing service-oriented systems using their data and structure.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations.

[BibT_eX]

[DOI]

Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

A General Implementation Framework for Tabled CLP.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

Logic Languages.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Parallel Computing, 2011

Efficient local unfolding with ancestor stacks.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

Parallel backtracking with answer memoing for independent and-parallelism.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

An Overview of the Ciao System.

[BibT_eX]

[DOI]

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

CLP projection for constraint handling rules.

[BibT_eX]

[DOI]

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs.

[BibT_eX]

[DOI]

Teresa Trigo

Proceedings of the Practical Aspects of Declarative Languages, 2011

Modular Extensions for Modular (Logic) Languages.

[BibT_eX]

[DOI]

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

Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Interval-Based Resource Usage Verification: Formalization and Prototype.

[BibT_eX]

[DOI]

Luthfi Darmawan

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

Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

Introduction to the 26th international conference on logic programming special issue.

[BibT_eX]

[DOI]

Torsten Schaub

Theory Pract. Log. Program., 2010

Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses.

[BibT_eX]

[DOI]

New Gener. Comput., 2010

Lock-free parallel dynamic programming.

[BibT_eX]

[DOI]

Alex D. Stivala

Maria Garcia de la Banda

Anthony Wirth

J. Parallel Distributed Comput., 2010

Towards Parameterized Regular Type Inference Using Set Constraints

[BibT_eX]

[DOI]

CoRR, 2010

Towards Data-Aware QoS-driven Adaptation for Service Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2010

Automatic Fragment Identification in Workflows Based on Sharing Analysis.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Introduction to the Technical Communications of the 26th International Conference on Logic Programming.

[BibT_eX]

[DOI]

Torsten Schaub

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Titlepage, Table of Contents, Conference Organization.

[BibT_eX]

[DOI]

Torsten Schaub

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

2009

Non-strict independence-based program parallelization using sharing and freeness information.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

User-Definable Resource Usage Bounds Analysis for Java Bytecode.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

A Program Transformation for Continuation Call-Based Tabled Execution

[BibT_eX]

[DOI]

CoRR, 2009

Towards a Complete Scheme for Tabled Execution Based on Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2009

Program Parallelization Using Synchronized Pipelining.

[BibT_eX]

[DOI]

Leonardo Scandolo

César Kunz

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

Identification of logically related heap regions.

[BibT_eX]

[DOI]

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

An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

A Tabling Implementation Based on Variables with Multiple Bindings.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

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

[BibT_eX]

[DOI]

New Gener. Comput., 2008

Precise Set Sharing Analysis for Java-Style Programs.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2008

Comparing tag scheme variations using an abstract machine generator.

[BibT_eX]

[DOI]

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Towards execution time estimation in abstract machine-based languages.

[BibT_eX]

[DOI]

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

A practical type analysis for verification of modular prolog programs.

[BibT_eX]

[DOI]

Pawel Pietrzak

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Sharing analysis of arrays, collections, and recursive structures.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

An Improved Continuation Call-Based Implementation of Tabling.

[BibT_eX]

[DOI]

Cláudio Silva

Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2008

Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2008

Efficient Set Sharing Using ZBDDs.

[BibT_eX]

[DOI]

Ondrej Lhoták

Proceedings of the Languages and Compilers for Parallel Computing, 2008

Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 2008

Negative Ternary Set-Sharing.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 17th International Conference, 2008

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

[BibT_eX]

[DOI]

CoRR, 2007

Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk.

[BibT_eX]

[DOI]

Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

Heap analysis in the presence of collection libraries.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Combining Static Analysis and Profiling for Estimating Execution Times.

[BibT_eX]

[DOI]

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

A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs.

[BibT_eX]

[DOI]

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

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.

[BibT_eX]

[DOI]

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

Towards a high-level implementation of flexible parallelism primitives for symbolic languages.

[BibT_eX]

[DOI]

Proceedings of the Parallel Symbolic Computation, 2007

Automatic Binding-Related Error Diagnosis in Logic Programs.

[BibT_eX]

[DOI]

Pawel Pietrzak

Proceedings of the Logic Programming, 23rd International Conference, 2007

User-Definable Resource Bounds Analysis for Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Abstract Interpretation with Specialized Definitions.

[BibT_eX]

[DOI]

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

Efficient Top-Down Set-Sharing Analysis Using Cliques.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Context-Sensitive Multivariant Assertion Checking in Modular Programs.

[BibT_eX]

[DOI]

Pawel Pietrzak

Proceedings of the Logic for Programming, 2006

Towards Description and Optimization of Abstract Machines in an Extension of Prolog.

[BibT_eX]

[DOI]

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

A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 2006

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.

[BibT_eX]

[DOI]

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

Reduced Certificates for Abstraction-Carrying Code.

[BibT_eX]

[DOI]

Puri Arenas-Sánchez

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

A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

High-level languages for small devices: a case study.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Compilers, 2006

2005

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor).

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

A study of set-sharing analysis via cliques.

[BibT_eX]

[DOI]

CoRR, 2005

Abstraction carrying code and resource-awareness.

[BibT_eX]

[DOI]

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

A Study of Set-Sharing Analysis via Clique.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Logic Programming Environments, 2005

Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.

[BibT_eX]

[DOI]

Claudio Ochoa

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

Experiments in Context-Sensitive Analysis of Modular Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

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

[BibT_eX]

[DOI]

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

A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.

[BibT_eX]

[DOI]

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

2004

An Abstract Interpretation-based Approach to Mobile Code Safety.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

Improved Compilation of Prolog to C Using Moded Types and Determinism Information.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Abstraction-Carrying Code.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2004

A Generic Framework for Context-Sensitive Analysis of Modular Programs.

[BibT_eX]

[DOI]

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Efficient Local Unfolding with Ancestor Stacks for Full Prolog.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

Determinacy Analysis for Logic Programs Using Mode and Type Information.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

Abstract Interpretation-Based Mobile Code Certification.

[BibT_eX]

[DOI]

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

Multivariant Non-failure Analysis via Standard Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

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

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.

[BibT_eX]

[DOI]

James Lipton

Proceedings of the Advances in Computer Science, 2004

2003

Program Development Using Abstract Interpretation (And The Ciao System Preprocessor).

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 10th International Symposium, 2003

Abstract specialization and its applications.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

A Generic Persistence Model for (C)LP Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

Program Debugging and Validation Using Semantic Approximations and Partial Specifications.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

Abstract Verification and Debugging of Constraint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2002

2001

Guest editor's introduction Special issue on Logic Programming and the Internet.

[BibT_eX]

[DOI]

Leon Sterling

Lee Naish

Theory Pract. Log. Program., 2001

Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2001

Parallel execution of prolog programs: a survey.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2001

Efficient Negation Using Abstract Interpretation.

[BibT_eX]

[DOI]

Susana Muñoz-Hernández

Juan José Moreno-Navarro

Proceedings of the Logic for Programming, 2001

2000

Incremental analysis of constraint logic programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2000

Independence in CLP languages.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2000

Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming.

[BibT_eX]

[DOI]

Parallel Comput., 2000

Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions.

[BibT_eX]

[DOI]

Carlos Carreras

Proceedings of the Abstraction, 2000

A Model for Inter-module Analysis and Optimizing Compilation.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2000

A Generic Processor for Program Validation and Debugging.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

An Assertion Language for Constraint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction.

[BibT_eX]

[DOI]

Pierre Deransart

Jan Maluszynski

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Tools for Constraint Visualisation: The VIFID/TRIFID Tool.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Tools for Search-Tree Visualisation: The APT Tool.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

A Documentation Generator for (C)LP Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

A New Module System for Prolog.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

1999

Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1999

A System for Automatically Generating Documentation for (C)LP Programs.

[BibT_eX]

[DOI]

Proceedings of the Tenth Workshop on Logic Programming Environments, 1999

The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library.

[BibT_eX]

[DOI]

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

The Ciao Module System: A New Module System for Prolog.

[BibT_eX]

[DOI]

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Optimization and Implementation of Declarative Programs, 1999

Abstract Multiple Specialization and Its Application to Program Parallelization.

[BibT_eX]

[DOI]

J. Log. Program., 1999

Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism.

[BibT_eX]

[DOI]

J. Log. Program., 1999

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework.

[BibT_eX]

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1999

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor.

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Concurrency in Prolog Using Threads and a Shared Database.

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1998

A Framework for Assertion-Based Debugging in Constraint Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1998

Some Design Issues in the Visualization of Constraint Logic Program Execution.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Exploiting Goal Independence in the Analysis of Logic Programs.

[BibT_eX]

[DOI]

Michael Codish

J. Log. Program., 1997

Some Challenges for Constraint Programming.

[BibT_eX]

[DOI]

Constraints An Int. J., 1997

Programming with Global Analysis (Abstract).

[BibT_eX]

Proceedings of the Logic Programming, 1997

Lower Bound Cost Estimation for Logic Programs.

[BibT_eX]

Nai-Wei Lin

Proceedings of the Logic Programming, 1997

Non-Failure Analysis for Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1997

Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '97 Parallel Processing, 1997

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.

[BibT_eX]

[DOI]

Jan Maluszynski

Proceedings of the Third International Workshop on Automated Debugging, 1997

1996

Global Analysis of Constraint Logic Programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1996

A Methodology for Granularity-Based Control of Parallelism in Logic Programs.

[BibT_eX]

[DOI]

J. Symb. Comput., 1996

High-level characteristics of or- and independent and-parallelism in prolog.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1996

Some cCallenges for Constraint Programming.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Improving the Efficiency of Nondeterministic Independent and-Parallel Systems.

[BibT_eX]

[DOI]

Comput. Lang., 1996

Relating Data-Parallelism and (and-) Parallelism in Logic Programs.

[BibT_eX]

[DOI]

Comput. Lang., 1996

Optimized Algorithms for Incremental Analysis of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Symposium, 1996

Automatic Optimization of Dynamic Scheduling in Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1996

Towards Independent And-Parallelism in CLP.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1996

Abstract Specialization and Its Application to Program Parallelization.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1996

Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '96 Parallel Processing, 1996

IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming.

[BibT_eX]

[DOI]

M. J. Fernández

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Global Analysis of Standard Prolog Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 1996

Independence in Dynamically Scheduled Logic Languages.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.

[BibT_eX]

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

Implementing Distributed Concurrent Constraint Execution in the CIAO System.

[BibT_eX]

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Improving Abstract Interpretations by Combining Domains.

[BibT_eX]

[DOI]

Michael Codish

Anne Mulkers

ACM Trans. Program. Lang. Syst., 1995

Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions.

[BibT_eX]

[DOI]

J. Log. Program., 1995

Guest Editors' Introduction: Special Section: Ten Years of Logic Programming.

[BibT_eX]

[DOI]

Michael J. Maher

J. Log. Program., 1995

Implementation of Multiple Specialization in Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

&ACE: a high-performance parallel Prolog system.

[BibT_eX]

[DOI]

Proceedings of IPPS '95, 1995

Incremental Analysis of Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1995

Efficient Term Size Computation for Granularity Control.

[BibT_eX]

Proceedings of the Logic Programming, 1995

Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems.

[BibT_eX]

Proceedings of the Logic Programming, 1995

1994

Guest Editor's Introduction.

[BibT_eX]

[DOI]

Michael J. Maher

J. Log. Program., 1994

Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems.

[BibT_eX]

Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, 1994

Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization.

[BibT_eX]

Proceedings of the Logic Programming, 1994

Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Estimating the Computational Cost of Logic Programs.

[BibT_eX]

[DOI]

Nai-Wei Lin

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Towards a Concurrent Semantics based Analysis of CC and CLP.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1994

Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1994

Analyzing Logic Programs with Dynamic Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Towards Granularity Based Control of Parallelism in Logic Programs.

[BibT_eX]

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs.

[BibT_eX]

Maria Garcia de la Banda

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

Analytic Model of a Cache Only Memory Architecture.

[BibT_eX]

[DOI]

Carlos Carreras

Carlos A. López Bario

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

Goal Dependent versus Goal Independent Analysis of Logic Programs.

[BibT_eX]

[DOI]

Michael Codish

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

&ACE: the And-parallel Component of ACE (A Progress Report on ACE).

[BibT_eX]

Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

A Note on Data-Parallelism and (And-Parallel) Prolog.

[BibT_eX]

Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

ACE: And/Or-parallel Copying-based Execution of Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1994

IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups.

[BibT_eX]

M. J. Fernández

Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

1993

And-Or Parallel Prolog: A Recomputation Based Approach.

[BibT_eX]

[DOI]

New Gener. Comput., 1993

A Practical Approach to the Global Analysis of CLP Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1993

Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model.

[BibT_eX]

M. Olmedilla

Proceedings of the Logic Program Synthesis and Transformation, 1993

Divided We Stand: Parallel Distributed Stack Memory Management.

[BibT_eX]

Proceedings of the Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems, 1993

Contextual Nets and Constraint Logic Programming.

[BibT_eX]

Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993

Some Paradigms for Visualizing Parallel Execution of Logic Programs.

[BibT_eX]

Luis Manuel Gómez Henríquez

Proceedings of the Logic Programming, 1993

Independence in Constraint Logic Programs.

[BibT_eX]

Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993

1992

Compile-Time Derivation of Variable Dependency Using Abstract Interpretation.

[BibT_eX]

[DOI]

J. Log. Program., 1992

Global Flow Analysis as a Practical Compilation Tool.

[BibT_eX]

[DOI]

Richard A. Warren

J. Log. Program., 1992

A Practical Application of Sharing and Freeness Inference.

[BibT_eX]

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Independent AND-Parallel Implementation of Narrowing.

[BibT_eX]

[DOI]

Herbert Kuchen

Juan José Moreno-Navarro

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Generalized Stack-copying for And-Or Parallel Execution of Full Prolog.

[BibT_eX]

Luis Manuel Gómez Henríquez

Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992

Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs.

[BibT_eX]

Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992

Recomputation based Implementations of And-Or Parallel Prolog.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

An Automatic Translation Scheme from Prolog to the Andorra Kernel Language.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism.

[BibT_eX]

Proceedings of the Knowledge Oriented Software Design, Extended Papers from the IFIP TC12 Workshop on Artificial Intelligence from the Information Processing Perspective, 1992

1991

The &-Prolog System: Exploiting Independent And-Parallelism.

[BibT_eX]

[DOI]

K. J. Greene

New Gener. Comput., 1991

A Simulation Study of Or- and and Independent And-parallelism.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism.

[BibT_eX]

Rong Yang

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

A Technique for Recursive Invariance Detection and Selective Program Specification.

[BibT_eX]

[DOI]

Fosca Giannotti

Proceedings of the Programming Language Implementation and Logic Programming, 1991

Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation.

[BibT_eX]

Proceedings of the Logic Programming, 1991

ACE: And/Or-parallel Copying-based Execution of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Parallel Execution of Logic Programs, 1991

1990

Task Granularity Analysis in Logic Programs.

[BibT_eX]

[DOI]

Nai-Wei Lin

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism.

[BibT_eX]

Proceedings of the Logic Programming, 1990

Non-Strict Independent And-Parallelism.

[BibT_eX]

Proceedings of the Logic Programming, 1990

&-Prolog and its Performance: Exploiting Independent And-Parallelism.

[BibT_eX]

K. J. Greene

Proceedings of the Logic Programming, 1990

1989

Memory referencing characteristics and caching performance of AND-Parallel Prolog on shared-memory multiprocessors.

[BibT_eX]

[DOI]

Evan Tick

New Gener. Comput., 1989

Determination of Variable Dependence Information through Abstract Interpretation.

[BibT_eX]

Proceedings of the Logic Programming, 1989

On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1989

Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism.

[BibT_eX]

Proceedings of the Logic Programming, 1989

1988

Memory Performance of AND-parallel Prolog on Shared-Memory Architectures.

[BibT_eX]

Evan Tick

Proceedings of the International Conference on Parallel Processing, 1988

On the Practicality of Global Flow Analysis of Logic Programs.

[BibT_eX]

Richard A. Warren

Proceedings of the Logic Programming, 1988

Constructs and evaluations strategies for intelligent speculative parallelism - armageddon revisited.

[BibT_eX]

[DOI]

Adolfo Guzmán

Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

1987

Designing a high performance parallel logic programming system.

[BibT_eX]

[DOI]

Richard A. Warren

SIGARCH Comput. Archit. News, 1987

Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1987

1986

An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel.

[BibT_eX]

[DOI]

PhD thesis, 1986

Efficient Management of Backtracking in AND-Parallelism.

[BibT_eX]

[DOI]

R. I. Nasr

Proceedings of the Third International Conference on Logic Programming, 1986

An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Logic Programming, 1986

1985

B-Log: A Branch and Bound Methodology for the Parallel Execution of Logic Programs.

[BibT_eX]

G. Jack Lipovski