Abstract
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much simpler and easier to optimize unconditional rewrite systems. An experiment performed on world’s fastest conditional rewriting engines shows that speedups for conditional rewriting of an order of magnitude can already be obtained by applying the presented technique as a front-end transformation.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Antoy, S., Brassel, B., Hanus, M.: Conditional narrowing without conditions. In: 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (PPDP 2003), pp. 20–31. ACM Press, New York (2003)
Bergstra, J., Klop, J.: Conditional rewrite rules: Confluence and termination. Journal of Computer and System Sciences 32(3), 323–362 (1986)
Borovansky, P., Cirstea, H., Dubois, H., Kirchner, C., Kirchner, H., Moreau, P., Ringeissen, C., Vittek, M.: ELAN: User Manual, Loria, Nancy, France (2000)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude 2.0 Manual (2003), http://maude.cs.uiuc.edu/manual
Dershowitz, N., Okada, M.: A rationale for conditional equational programming. Theoretical Computer Science 75, 111–138 (1990)
Diaconescu, R., Futatsugi, K.: CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. AMAST Series in Computing, vol. 6. World Scientific, Singapore (1998)
Friedman, D.P., Haynes, C.T., Wand, M.: Essentials of programming languages. MIT Press, Cambridge (1992)
Giovannetti, E., Moiso, C.: Notes on the elimination of conditions. In: Kaplan, S., Jouannaud, J.-P. (eds.) CTRS 1987. LNCS, vol. 308, pp. 91–97. Springer, Heidelberg (1988)
Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ. In: Software Engineering with OBJ: algebraic specification in action, pp. 3–167. Kluwer, Dordrecht (2000)
Hanus, M.: The integration of functions into logic programming: From theory to practice. The Journal of Logic Programming 19-20, 583–628 (1994)
Hintermeier, C.: How to transform canonical decreasing ctrss into equivalent canonical trss. In: Lindenstrauss, N., Dershowitz, N. (eds.) CTRS 1994. LNCS, vol. 968, pp. 186–205. Springer, Heidelberg (1995)
Meseguer, J., Roşu, G.: Rewriting logic semantics: From language specifications to formal analysis tools. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol. 3097, pp. 1–44. Springer, Heidelberg (2004) (to appear)
Middeldorp, A., Hamoen, E.: Completeness results for basic narrowing. Journal of Applicable Algebra in Eng., Communication and Computing 5, 313–353 (1994)
Ohlebusch, E.: Advanced Topics in Term Rewriting. Springer, Heidelberg (2002)
Reynolds, J.C.: The discoveries of continuations. LISP and Symbolic Computation 6(3–4), 233–247 (1993)
Roşu, G.: From conditional to unconditional rewriting. Technical Report UIUCDCS-R-2004-2471, University of Illinois at Urbana-Champaign (August 2004)
Viry, P.: Elimination of conditions. Journal of Symbolic Computation 28, 381–401 (1999)
Visser, E.: Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol. 2051, pp. 357–361. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Roşu, G. (2005). From Conditional to Unconditional Rewriting. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds) Recent Trends in Algebraic Development Techniques. WADT 2004. Lecture Notes in Computer Science, vol 3423. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31959-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-31959-7_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25327-3
Online ISBN: 978-3-540-31959-7
eBook Packages: Computer ScienceComputer Science (R0)