Invariant-driven strategies for Maude

Electronic Notes in Theoretical Computer Science

Volumn 124, Issue 2, 2005, Pages 17-28

  Durán, Francisco ^a   Roldán, Manuel ^a   Vallecillo, Antonio ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Execution strategies; Maude; Reflection; Rewriting logic

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; ELECTRONIC DOCUMENT EXCHANGE; LOGIC PROGRAMMING; PARAMETER ESTIMATION; SEMANTICS;

EXECUTION STRATEGIES; MAUDE; REWRITING LOGIC; SEMANTIC FRAMEWORK;

COMPUTER SCIENCE;

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

References (13)

1. P. Borovanský, H. Cirstea, H. Dubois, C. Kirchner, H. Kirchner, P.-E. Moreau, C. Ringeissen, and M. Vittek. ELAN v 3.3 user manual, Third edition. Technical report, INRIA Lorraine & LORIA, Nancy, France, Dec. 1998
2. 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 2002 187 243
3. 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
4. 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 1684 1704
5. J. 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
6. K. Havelund and G. Roşu. Rewriting-based techniques for runtime verification. To appear in Journal of Automated Software Engineering
7. J. Hsiang Refutational theorem proving using term rewriting systems Artificial Intelligence 25 1985 255 300
8. N. Martí-Oliet, and J. Meseguer Rewriting logic as a logical and semantic framework, volume 9 second edition 2002 Kluwer Academic Publishers 1 87
9. T. McComb, and G. Smith Animation of Object-Z specifications using a Z animator First International Conference on Software Engineering and Formal Methods (SEFM'03) 2003
10. J. Meseguer Conditional rewriting logic as a unified model of concurrency Theoretical Computer Science 96 1992 73 155
11. J. Meseguer Membership algebra as a logical framework for equational specification F. Parisi-Presicce Recent Trends in Algebraic Development Techniques Lecture Notes in Computer Science volume 1376 1998 Springer 18 61
12. M. Utting The Jaza animator The system and its documentation is available at http://www.cs.waikato.ac.nz/~marku/jaza/
13. J. Warmer, and A. Kleppe The Object Constraint Language: Getting Your Models Ready for MDA 2003 Addison-Wesley