Operational termination of conditional term rewriting systems

Information Processing Letters

Volumn 95, Issue 4, 2005, Pages 446-453

  Lucas, Salvador ^a   Marché, Claude ^b   Meseguer, José ^c  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

^c UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Conditional term rewriting; Program analysis; Programming languages; Termination

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; ESTIMATION; INFORMATION RETRIEVAL; MATHEMATICAL MODELS; PROBLEM SOLVING; THEOREM PROVING;

CONDITIONAL TERM REWRITING; CONDITIONAL TERM REWRITING SYSTEMS (CTRS); PROGRAM ANALYSIS; TERMINATION;

DATA PROCESSING;

EID: 21344452839     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2005.05.002     Document Type: Article

References (16)

1. J.A. Begstra, and J.W. Klop Conditional rewrite rules: confluence and termination J. Comput. System Sci. 32 3 1986 323 362
2. P. Borovanský, C. Kirchner, H. Kirchner, and P.-E. Moreau ELAN from a rewriting logic point of view Theoret. Comput. Sci. 285 2002 155 185
3. A. Bouhoula, J.-P. Jouannaud, and J. Meseguer Specification and proof in membership equational logic Theoret. Comput. Sci. 236 2000 35 132
4. R. Bruni, and J. Meseguer Generalized rewrite theories J.C.M. Baeten J.K. Lenstra J. Parrow G.J. Woeginger Proc. 30th Internat. Colloquium on Automata, Languages and Programming, ICALP'03 Lecture Notes in Comput. Sci. vol. 2719 2003 Springer-Verlag Berlin 252 266
5. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada Maude: specification and programming in rewriting logic Theoret. Comput. Sci. 285 2 2002 187 243
6. N. Dershowitz, and M. Okada A rationale for conditional equational programming Theoret. Comput. Sci. 75 1990 111 138
7. F. Durán, S. Lucas, J. Meseguer, C. Marché, and X. Urbain Proving termination of membership equational programs P. Sestoft N. Heintze Proc. ACM SIGPLAN 2004, Symp. on Partial Evaluation and Program Manipulation, PEPM'04 2004 ACM Press New York 147 158
8. K. Futatsugi, and R. Diaconescu CafeOBJ Report AMAST Series 1998 World Scientific Singapore
9. P. Hudak, S.J. Peyton-Jones, and P. Wadler Report on the functional programming language Haskell: a non-strict, purely functional language SIGPLAN Notices 27 5 1992 1 164
10. J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud Introducing OBJ Software Engineering with OBJ: Algebraic Specification in Action 2000 Kluwer Dordrecht
11. S. Kaplan Conditional rewrite rules Theoret. Comput. Sci. 33 1984 175 193
12. S. Kaplan Simplifying conditional term rewriting systems: Unification, termination and confluence J. Symbolic Comput. 4 1987 295 334
13. M. Marchiori M. Hanus M. Rodríguez-Artalejo Proc. 5th Internat. Conf. on Algebraic and Logic Programming, ALP'96 Lecture Notes in Comput. Sci. vol. 1039 1996 Springer-Verlag Berlin 107 121
14. J. Meseguer Membership algebra as a logical framework for equational specification F. Parisi-Presicce Proc. 12th Internat. Workshop on Recent Trends in Algebraic Development Techniques, WADT'97 Lecture Notes in Comput. Sci. vol. 1376 1998 Springer-Verlag Berlin 18 61
15. E. Ohlebusch Advanced Topics in Term Rewriting 2002 Springer-Verlag Berlin, Apr.
16. E. Ohlebusch Transforming conditional rewrite systems with extra variables into unconditional systems H. Ganzinger D. McAllester A. Voronkov Proc. 6th Internat. Conf. on Logic for Programming and Automated Reasoning, LPAR'99 Lecture Notes in Artif. Intell. vol. 1705 1999 Springer-Verlag Berlin 111 130