Salvador Lucas
Cited by
Cited by
Context-sensitive computations in functional and functional logic programs
S Lucas
Journal of Functional and Logic Programming 1 (1998), 1-61, 1998
Context-sensitive rewriting strategies
S Lucas
Information and Computation 178 (1), 294-343, 2002
Operational termination of conditional term rewriting systems
S Lucas, C Marché, J Meseguer
Information Processing Letters 95 (4), 446-453, 2005
Proving operational termination of membership equational programs
F Durán, S Lucas, C Marché, J Meseguer, X Urbain
Higher-Order and Symbolic Computation 21 (1), 59-88, 2008
Polynomials over the reals in proofs of termination: from theory to practice
S Lucas
RAIRO-Theoretical Informatics and Applications 39 (3), 547-586, 2005
mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting
S Lucas
International Conference on Rewriting Techniques and Applications, 200-209, 2004
Termination of on-demand rewriting and termination of OBJ programs
S Lucas
Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001
MTT: The Maude termination tool (system description)
F Durán, S Lucas, J Meseguer
International Joint Conference on Automated Reasoning, 313-319, 2008
Proving termination of membership equational programs
F Durán, S Lucas, J Meseguer, C Marché, X Urbain
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
Termination of rewriting with strategy annotations
S Lucas
International Conference on Logic for Programming Artificial Intelligence …, 2001
The Maude formal tool environment
M Clavel, F Durán, J Hendrix, S Lucas, J Meseguer, P Ölveczky
International Conference on Algebra and Coalgebra in Computer Science, 173-178, 2007
SAT modulo linear arithmetic for solving polynomial constraints
C Borralleras, S Lucas, A Oliveras, E Rodríguez-Carbonell, A Rubio
Journal of Automated Reasoning 48 (1), 107-131, 2012
Termination of context-sensitive rewriting by rewriting
S Lucas
International Colloquium on Automata, Languages, and Programming, 122-133, 1996
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic
C Borralleras, S Lucas, R Navarro-Marset, E Rodríguez-Carbonell, ...
International Conference on Automated Deduction, 294-305, 2009
Termination modulo combinations of equational theories
F Durán, S Lucas, J Meseguer
International Symposium on Frontiers of Combining Systems, 246-262, 2009
Context-sensitive dependency pairs
B Alarcón, R Gutiérrez, S Lucas
International Conference on Foundations of Software Technology and …, 2006
Strongly sequential and inductively sequential term rewriting systems
M Hanus, S Lucas, A Middeldorp
Information Processing Letters 67 (1), 1-8, 1998
Abstract diagnosis of functional programs
M Alpuente, M Comini, S Escobar, M Falaschi, S Lucas
International Workshop on Logic-Based Program Synthesis and Transformation, 1-16, 2002
Proving Termination Properties with mu-term
B Alarcón, R Gutiérrez, S Lucas, R Navarro-Marset
International Conference on Algebraic Methodology and Software Technology …, 2010
Proving termination of context-sensitive rewriting with MU-TERM
B Alarcón, R Gutiérrez, J Iborra, S Lucas
Electronic Notes in Theoretical Computer Science 188, 105-115, 2007
The system can't perform the operation now. Try again later.
Articles 1–20