Author:
Martí-Oliet Narciso,Meseguer José,Verdejo Alberto
Subject
General Computer Science,Theoretical Computer Science
Reference13 articles.
1. ELAN from a rewriting logic point of view;Borovanský;Theoretical Computer Science,2002
2. Rewriting with strategies in ELAN: A functional semantics;Borovanský;International Journal of Foundations of Computer Science,2001
3. Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications;Clavel,2000
4. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. Maude Manual (Version 2.1), March 2004. http://maude.cs.uiuc.edu/manual
5. M. Clavel and J. Meseguer. Reflection and strategies in rewriting logic. In J. Meseguer, editor, Proceedings First International Workshop on Rewriting Logic and its Applications, WRLA'96, Asilomar, California, September 3–6, 1996, volume 4 of Electronic Notes in Theoretical Computer Science. Elsevier, Sept. 1996. http://www.elsevier.nl/locate/entcs/volume4.html
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Verification in Rewriting Logic;Theory and Practice of Logic Programming;2023-08-31
2. The Maude strategy language;Journal of Logical and Algebraic Methods in Programming;2023-08
3. Strategies in Conditional Narrowing Modulo SMT Plus Axioms;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
4. P3 problem and Magnolia language: Specializing array computations for emerging architectures;Frontiers in Computer Science;2022-10-31
5. An Overview of the Maude Strategy Language and its Applications;Rewriting Logic and Its Applications;2022