On-demand evaluation for Maude

Electronic Notes in Theoretical Computer Science

Volumn 124, Issue 1, 2005, Pages 25-39

  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; Demandedness; Maude; On demand strategy; Reflection

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL METHODS; FUNCTIONS; INTEGER PROGRAMMING; MATHEMATICAL MODELS; SOFTWARE PROTOTYPING;

ANNOTATIONS; DECLARATIVE PROGRAMMING; DEMANDEDNESS; MAUDE; ON-DEMAND STRATEGY ANNOTATIONS;

COMPUTER PROGRAMMING LANGUAGES;

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

References (21)

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 LNAI 2514 2002 Springer 1 18
2. M. Alpuente, S. Escobar, and S. Lucas F. Gadducci U. Montanari Proc. of the 4th International Workshop on Rewriting Logic and its Applications WRLA'02 ENTCS 71 2004 Elsevier
3. M. Alpuente, S. Escobar, and S. Lucas OnDemandOBJ: A Laboratory for Strategy Annotations J.-L. Giavitto P.-E. Moreau Proc. of the 4th International Workshop on Rule-Based Programming RULE'03 ENTCS 86 2 2003 Elsevier
4. P. Borovanský, C. Kirchner, H. Kirchner, and C. Ringeissen Rewriting with strategies in ELAN: A functional semantics International Journal of Foundations of Computer Science 12 2001 69 95
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 Theoretical Computer Science 285 2 2002 187 243
6. 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 LNCS 2706 2003 Springer 76 87
7. 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, 2003
8. F. Durán, S. Escobar, and S. Lucas. New evaluation commands for Maude within Full Maude. In N. Martí-Oliet, editor, Proc. of the 5th International Workshop on Rewriting Logic and its Applications, WRLA'04, ENTCS to appear 2004
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 ENTCS 15 1998 Elsevier
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 C. Kirchner H. Kirchner Proceedings of 2nd International Workshop on Rewriting Logic and its Applications WRLA'98 ENTCS 15 1998 Elsevier
12. S. Escobar. Strategies and Analysis Techniques for Functional Program Optimization. PhD Thesis, Universidad Politécnica de Valencia, October 2003
13. M.C.F. Ferreira, and A.L. Ribeiro Context-Sensitive AC-Rewriting Proc. of the 10th International Conference on Rewriting Techniques and Applications RTA'99 LNCS 1631 1999 Springer 173 181
14. J. Giesl and A. Middeldorp. Transformation Techniques for Context-Sensitive Rewrite Systems. Journal of Functional Programming, to appear, 2004
15. J.A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud Introducing OBJ J. Goguen G. Malcolm Software Engineering with OBJ: algebraic specification in action 2000 Kluwer
16. 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
17. S. Lucas Context-sensitive rewriting strategies Information and Computation 178 1 2002 293 343
18. S. Lucas. Semantics of programs with strategy annotations. Technical Report DSIC-II/08/03, DSIC, Universidad Politécnica de Valencia, 2003
19. N. Martí-Oliet, J. Meseguer, A. Verdejo. Towards a strategy language for Maude. In N. Martí-Oliet, editor, Proc. of the 5th International Workshop on Rewriting Logic and its Applications, WRLA'04, ENTCS to appear 2004
20. 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 ENTCS 36 2001 Elsevier
21. K. Ogata, and K. Futatsugi Operational semantics of rewriting with the on-demand evaluation strategy Proc. of 2000 International Symposium on Applied Computing SAC'00 2000 ACM Press 756 763