New evaluation commands for Maude within full Maude

Electronic Notes in Theoretical Computer Science

Volumn 117, Issue SPEC. ISS., 2005, Pages 263-284

  Durán, Francisco ^a   Escobar, Santiago ^b   Lucas, Salvador ^b  

^a UNIVERSITY OF MÁLAGA   (Spain)

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

Author keywords

Declarative programming; Maude; Reflection; Strategy annotations

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SCIENCE; DATA STRUCTURES; FUNCTIONS; INTEGER PROGRAMMING; LINEAR ALGEBRA; REFLECTION;

DECLARATIVE PROGRAMMING; FUNCTION SYMBOLS; MAUDE; STRATEGY ANNOTATIONS;

COMPUTER PROGRAMMING;

EID: 12344293528     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.06.014     Document Type: Conference Paper

References (22)

1. M. Alpuente, S. Escobar, B. Gramlich, and S. Lucas Improving On-Demand Strategy Annotations M. Baaz A. Voronkov Proc. 9th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning LPAR'02 Lecture Notes in Artificial Intelligence 2514 2002 Springer 1 18
2. M. Alpuente, S. Escobar, and S. Lucas Correct and complete (positive) strategy annotations for OBJ F. Gadducci U. Montanari Proc. of the 4th International Workshop on Rewriting Logic and its Applications WRLA'02 Electronic Notes in Theoretical Computer Science volume 71 2004 Elsevier Sciences
3. M. Clavel, F. Durán, S. Eker, J. Meseguer, and M.-O. Stehr Maude as a formal meta-tool J. Wing J. Woodcock J. Davies FM'99 - Formal Methods (Vol. II) Lecture Notes in Computer Science volume 1709 1999 Springer-Verlag 1684 1704
4. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada Maude: specification and programming in rewriting logic Theoretical Computer Science 285 2 2002 187 243
5. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott The Maude 2.0 System R. Nieuwenhuis Proc. of 14th International Conference on Rewriting Techniques and Applications RTA'03 Lecture Notes in Computer Science 2706 2003 Springer 76 87 Available at http://maude.cs.uiuc.edu
6. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott Maude 2.0 manual Available in http://maude.cs.uiuc.edu June 2003
7. M. Clavel Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications CSLI Lecture Notes 2000 CSLI Publications
8. F. Durán, S. Escobar, and S. Lucas On-demand evaluation for Maude S. Abdennadher C. Ringeissen Proceedings of 5th International Workshop on Rule-Based Programming (RULE'04) Electronic Notes in Theoretical Computer Science 2004 Elsevier
9. F. Durán, and J. Meseguer An extensible module algebra for Maude C. Kirchner H. Kirchner Proceedings of 2nd International Workshop on Rewriting Logic and its Applications (WRLA'98) Electronic Notes in Theoretical Computer Science volume 15 1998 Elsevier 185 206 Available at http://www.elsevier.nl/locate/entcs/volume15.html
10. F. Durán. A Reflective Module Algebra with Applications to the Maude Language. PhD thesis, Universidad de Málaga, June 1999
11. S. Eker Term Rewriting with Operator Evaluation Strategies Electronic Notes in Theoretical Computer Science 15 1998 20
12. S. Lucas Context-sensitive computations in functional and functional logic programs Journal of Functional and Logic Programming 1998 1 January 1998 1 61
13. S. Lucas Termination of on-demand rewriting and termination of OBJ programs Proc. of 3rd International Conference on Principles and Practice of Declarative Programming PPDP'01 2001 ACM Press 82 93
14. S. Lucas Termination of Rewriting With Strategy Annotations R. Nieuwenhuis A. Voronkov Proc. of 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR'01 Lecture Notes in Artificial Intelligence 2250 2001 Springer 669 684
15. S. Lucas Context-sensitive rewriting strategies Information and Computation 178 1 2002 293 343
16. S. Lucas Termination of (Canonical) Context-Sensitive Rewriting S. Tison Proc. 13th International Conference on Rewriting Techniques and Applications RTA'02 Lecture Notes in Computer Science 2378 2002 Springer 296 310
17. S. Lucas. Semantics of programs with strategy annotations. Technical Report DSIC-II/08/03, DSIC, Universidad Politécnica de Valencia, 2003
18. S. Lucas. Termination of programs with strategy annotations. Technical Report DSIC II/20/03, Universidad Politécnica de Valencia, Sep. 2003
19. J. Meseguer Research directions in rewriting logic U. Berger H. Schwichtenberg Computational Logic 1999 Springer-Verlag
20. N. Martí-Oliet, and J. Meseguer Rewriting logic as a logical and semantic framework D.M. Gabbay F. Guenthner Handbook of Philosophical Logic, Volume 9 Second Edition 2002 Kluwer Academic Publishers 1 87
21. T. Nagaya. Reduction Strategies for Term Rewriting Systems. PhD Thesis, School of Information Science, Japan Advanced Institute of Science and Technology, March 1999
22. M. Nakamura, and K. Ogata The evaluation strategy for head normal form with and without on-demand flags K. Futatsugi Proc. of 3rd International Workshop on Rewriting Logic and its Applications WRLA'00 Electronic Notes in Theoretical Computer Science volume 36 2001 17