Salvador Lucas

According to our database, Salvador Lucas authored at least 128 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Local confluence of conditional and generalized term rewriting systems.

Salvador Lucas

J. Log. Algebraic Methods Program., January, 2024

Proving Confluence in the Confluence Framework with CONFident.

Raúl Gutiérrez, Salvador Lucas, Miguel Vítores

Fundam. Informaticae, 2024

Termination of Generalized Term Rewriting Systems.

Salvador Lucas

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

Confluence of Conditional Rewriting Modulo.

Salvador Lucas

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2022

Proving and disproving confluence of context-sensitive rewriting.

Salvador Lucas, Miguel Vítores, Raúl Gutiérrez

J. Log. Algebraic Methods Program., 2022

Confluence Framework: Proving Confluence with CONFident.

Raúl Gutiérrez, Miguel Vítores, Salvador Lucas

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

2021

The origins of the halting problem.

Salvador Lucas

J. Log. Algebraic Methods Program., 2021

Applications and extensions of context-sensitive rewriting.

Salvador Lucas

J. Log. Algebraic Methods Program., 2021

Derivational Complexity and Context-Sensitive Rewriting.

Salvador Lucas

J. Autom. Reason., 2021

Context-sensitive Rewriting.

Salvador Lucas

ACM Comput. Surv., 2021

Confluence of Conditional Rewriting in Logic Form.

Raúl Gutiérrez, Salvador Lucas, Miguel Vítores

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

2020

The 2D Dependency Pair Framework for Conditional Rewrite Systems - Part II: Advanced Processors and Implementation Techniques.

Salvador Lucas, José Meseguer, Raúl Gutiérrez

J. Autom. Reason., 2020

Using Well-Founded Relations for Proving Operational Termination.

Salvador Lucas

J. Autom. Reason., 2020

Proving Semantic Properties as First-Order Satisfiability (Extended Abstract).

Salvador Lucas

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

mu-term: Verify Termination Properties Automatically (System Description).

Raúl Gutiérrez, Salvador Lucas

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Automatically Proving and Disproving Feasibility Conditions.

Raúl Gutiérrez, Salvador Lucas

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Proving semantic properties as first-order satisfiability.

Salvador Lucas

Artif. Intell., 2019

Automatic Generation of Logical Models with AGES.

Raúl Gutiérrez, Salvador Lucas

Proceedings of the Automated Deduction - CADE 27, 2019

2018

The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors.

Salvador Lucas, José Meseguer, Raúl Gutiérrez

J. Comput. Syst. Sci., 2018

Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories.

Salvador Lucas, Raúl Gutiérrez

J. Autom. Reason., 2018

Use of logical models for proving infeasibility in term rewriting.

Salvador Lucas, Raúl Gutiérrez

Inf. Process. Lett., 2018

Proving Program Properties as First-Order Satisfiability.

Salvador Lucas

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

2017

Dependency pairs for proving termination properties of conditional term rewriting systems.

Salvador Lucas, José Meseguer

J. Log. Algebraic Methods Program., 2017

A Semantic Approach to the Analysis of Rewriting-Based Systems.

Salvador Lucas

CoRR, 2017

Analysis of Rewriting-Based Systems as First-Order Theories.

Salvador Lucas

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

2016

Normal forms and normal theories in conditional rewriting.

Salvador Lucas, José Meseguer

J. Log. Algebraic Methods Program., 2016

Use of Logical Models for Proving Operational Termination in General Logics.

Salvador Lucas

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

2015

Completeness of context-sensitive rewriting.

Salvador Lucas

Inf. Process. Lett., 2015

Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving.

Salvador Lucas

Proceedings of the Proceedings XV Jornadas sobre Programación y Lenguajes, 2015

Termination of canonical context-sensitive rewriting and productivity of rewrite systems.

Salvador Lucas

Proceedings of the Proceedings XV Jornadas sobre Programación y Lenguajes, 2015

Localized Operational Termination in General Logics.

Salvador Lucas, José Meseguer

Proceedings of the Software, 2015

Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting.

Raúl Gutiérrez, Salvador Lucas

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

2D Dependency Pairs for Proving Operational Termination of CTRSs.

Salvador Lucas, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Strong and Weak Operational Termination of Order-Sorted Rewrite Theories.

Salvador Lucas, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Proving Operational Termination of Declarative Programs in General Logics.

Salvador Lucas, José Meseguer

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

Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems.

Salvador Lucas, José Meseguer, Raúl Gutiérrez

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

Models for Logics and Conditional Constraints in Automated Proofs of Termination.

Salvador Lucas, José Meseguer

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

Using Representation Theorems for Proving Polynomials Non-negative.

Salvador Lucas

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2012

SAT Modulo Linear Arithmetic for Solving Polynomial Constraints.

Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

J. Autom. Reason., 2012

2010

On-demand strategy annotations revisited: An improved on-demand evaluation strategy.

María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas

Theor. Comput. Sci., 2010

Context-sensitive dependency pairs.

Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas

Inf. Comput., 2010

Proving Termination in the Context-Sensitive Dependency Pair Framework.

Raúl Gutiérrez, Salvador Lucas

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

A Dependency Pair Framework for <i>A</i> OR <i>C</i>-Termination.

Beatriz Alarcón, Salvador Lucas, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Proving Termination Properties with mu-term.

Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset

Proceedings of the Algebraic Methodology and Software Technology, 2010

From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals.

Salvador Lucas

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Automatic Proofs of Termination With Elementary Interpretations.

Salvador Lucas

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

Termination Modulo Combinations of Equational Theories.

Francisco Durán, Salvador Lucas, José Meseguer

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.

Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Automated Deduction, 2009

2008

Proving operational termination of membership equational programs.

Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain

High. Order Symb. Comput., 2008

Termination of just/fair computations in term rewriting.

Salvador Lucas, José Meseguer

Inf. Comput., 2008

Operational Termination of Membership Equational Programs: the Order-Sorted Way.

Salvador Lucas, José Meseguer

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Web Services and Interoperability for the Maude Termination Tool.

Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez

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

Methods for Proving Termination of Rewriting-based Programming Languages by Transformation.

Francisco Durán, Salvador Lucas, José Meseguer

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

Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting.

Beatriz Alarcón, Salvador Lucas

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

Usable Rules for Context-Sensitive Rewrite Systems.

Raúl Gutiérrez, Salvador Lucas, Xavier Urbain

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

Order-sorted dependency pairs.

Salvador Lucas, José Meseguer

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

Improving Context-Sensitive Dependency Pairs.

Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann

Proceedings of the Logic for Programming, 2008

MTT: The Maude Termination Tool (System Description).

Francisco Durán, Salvador Lucas, José Meseguer

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Search Techniques for Rational Polynomial Orders.

Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Removing redundant arguments automatically.

María Alpuente, Santiago Escobar, Salvador Lucas

Theory Pract. Log. Program., 2007

Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers.

Salvador Lucas, Rafael Navarro-Marset

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

Formal Verification of Websites.

Sonia Flores, Salvador Lucas, Alicia Villanueva

Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

Practical use of polynomials over the reals in proofs of termination.

Salvador Lucas

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs.

Beatriz Alarcón, Salvador Lucas

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

The Maude Formal Tool Environment.

Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Proving termination of context-sensitive rewriting by transformation.

Salvador Lucas

Inf. Comput., 2006

Improving the Context-sensitive Dependency Graph.

Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

Proving Termination of Context-Sensitive Rewriting with MU-TERM.

Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting.

Salvador Lucas

Appl. Algebra Eng. Commun. Comput., 2006

Generalizing Newman's Lemma for Left-Linear Rewrite Systems.

Bernhard Gramlich, Salvador Lucas

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

2005

Specialization of functional logic programs based on needed narrowing.

María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal

Theory Pract. Log. Program., 2005

Reduction strategies in rewriting and programming.

Bernhard Gramlich, Salvador Lucas

J. Symb. Comput., 2005

Polynomials over the reals in proofs of termination: from theory to practice.

Salvador Lucas

RAIRO Theor. Informatics Appl., 2005

Operational termination of conditional term rewriting systems.

Salvador Lucas, Claude Marché, José Meseguer

Inf. Process. Lett., 2005

Rewriting-Based Navigation of Web Sites: Looking for Models and Logics.

Salvador Lucas

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

Rewriting-based navigation of Web sites.

Salvador Lucas

Proceedings of the First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), 2005

Termination of Fair Computations in Term Rewriting.

Salvador Lucas, José Meseguer

Proceedings of the Logic for Programming, 2005

2004

Strong and NV-sequentiality of constructor systems.

Salvador Lucas

Inf. Process. Lett., 2004

Preface.

Salvador Lucas

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

Strategies in Programming Languages Today.

Salvador Lucas

Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, 2004

On-demand Evaluation for Maude.

Francisco Durán, Santiago Escobar, Salvador Lucas

Proceedings of the 5th International Workshop on Rule-Based Programming, 2004

New Evaluation Commands for Maude Within Full Maude.

Francisco Durán, Santiago Escobar, Salvador Lucas

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting.

Salvador Lucas

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

Proving termination of membership equational programs.

Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain

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

Polynomials for Proving Termination of Context-Sensitive Rewriting.

Salvador Lucas

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2003

Preface: 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings.

Bernhard Gramlich, Salvador Lucas

Proceedings of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, 2003

On-demand Evaluation by Program Transformation.

María Alpuente, Santiago Escobar, Salvador Lucas

Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

OnDemandOBJ: A Laboratory for Strategy Annotations.

María Alpuente, Santiago Escobar, Salvador Lucas

Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

Abstract correction of first-order functional programs.

María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas

Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

Abstract Correction of OBJ-like Programs.

María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Context-Sensitive Rewriting Strategies.

Salvador Lucas

Inf. Comput., 2002

Preface.

Bernhard Gramlich, Salvador Lucas

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

Demandness in Rewriting and Narrowing.

Sergio Antoy, Salvador Lucas

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

Correct and Complete (Positive) Strategy Annotations for OBJ.

María Alpuente, Santiago Escobar, Salvador Lucas

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

Redundancy of Arguments Reduced to Induction.

María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas

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

Simple termination of context-sensitive rewriting.

Bernhard Gramlich, Salvador Lucas

Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, 2002

Termination of (Canonical) Context-Sensitive Rewriting.

Salvador Lucas

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

Modular termination of context-sensitive rewriting.

Bernhard Gramlich, Salvador Lucas

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Improving On-Demand Strategy Annotations.

María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas

Proceedings of the Logic for Programming, 2002

Abstract Diagnosis of Functional Programs.

María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Recursive Path Orderings Can Be Context-Sensitive.

Cristina Borralleras, Salvador Lucas, Albert Rubio

Proceedings of the Automated Deduction, 2002

Removing Redundant Arguments of Functions.

María Alpuente, Santiago Escobar, Salvador Lucas

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) - Preface.

Bernhard Gramlich, Salvador Lucas

Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001

An Evaluation Semantics for Narrowing-Based Functional Logic Languages.

Michael Hanus, Salvador Lucas

J. Funct. Log. Program., 2001

Lazy Rewriting and Context-Sensitive Rewriting.

Salvador Lucas

Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001

Transfinite Rewriting Semantics for Term Rewriting Systems.

Salvador Lucas

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

Termination of On-Demand Rewriting and Termination of OBJ Programs.

Salvador Lucas

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Termination of Rewriting With Strategy Annotations.

Salvador Lucas

Proceedings of the Logic for Programming, 2001

2000

Redundant arguments in infinitary rewriting.

Salvador Lucas

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

Redundancy Analyses in Term Rewriting.

María Alpuente, Santiago Escobar, Salvador Lucas

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

1999

UPV-CURRY: An Incremental CURRY Interpreter.

María Alpuente, Santiago Escobar, Salvador Lucas

Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999

Specialization of Inductively Sequential Functional Logic Programs.

María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages.

Michael Hanus, Salvador Lucas

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

An Incremental Needed Narrowing Calculus for Curry.

María Alpuente, Salvador Lucas, Santiago Escobar

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

Context-sensitive Computations in Functional and Functional Logic Programs.

Salvador Lucas

J. Funct. Log. Program., 1998

Root-Neededness and Approximations of Neededness.

Salvador Lucas

Inf. Process. Lett., 1998

Strongly Sequential and Inductively Sequential Term Rewriting Systems.

Michael Hanus, Salvador Lucas, Aart Middeldorp

Inf. Process. Lett., 1998

1997

Efficient Strong Sequentiality Using Replacement Restrictions.

Salvador Lucas

Proceedings of the SOFSEM '97: Theory and Practice of Informatics, 1997

Transformations for Efficient Evaluations in Functional Programming.

Salvador Lucas

Proceedings of the Programming Languages: Implementations, 1997

Needed Reductions with Context-Sensitive Rewriting.

Salvador Lucas

Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997

Computational Properties of Term Rewriting with Replacement Restrictions.

Salvador Lucas

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

1996

A New Proposal of Concurrent Process Calculus.

Salvador Lucas, Javier Oliver

Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

Context-Sensitive Computations in Confluent Programs.

Salvador Lucas

Proceedings of the Programming Languages: Implementations, 1996

Termination of Context-Sensitive Rewriting by Rewriting.

Salvador Lucas

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

A Denotational Semantics for Needed Narrowing.

Michael Hanus, Salvador Lucas

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

1995

Fundamentals of Context=Sensitive Rewriting.

Salvador Lucas

Proceedings of the SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23, 1995

Computational Properties in Context-Sensitive Rewriting.

Salvador Lucas

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

El lambda-calculo Etiquetado Paralelo (LCEP).

Salvador Lucas, Javier Oliver

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994