Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic-Reference-Cited by-同舟云学术

Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic

Published:2000 Issue: Volume: Page:407-421
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Braga Christiano de O.,Haeusler E. Hermann,Meseguer José,Mosses Peter D.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45499-3_29

Reference22 articles.

1. Lect Notes Comput Sci;D. Brown,1992

2. M. Clavel. Reflection in General Logics and in Rewriting Logic. PhD thesis, Univesity of Navarre, 1998.

3. M. Clavel, F. Durán, S. Eker, N. Martí-Oliet, P. Lincoln, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. SRI International, http://maude.csl.sri.com , January 1999.

4. M. Clavel, F. Durán, S. Eker, and J. Meseguer. Building equational proving tools by reflection in rewriting logic. In Proceedings of the CafeOBJ Symposium’ 98, Sumazu, Japan. CafeOBJ Project, April 1998.

5. Lect Notes Comput Sci;L. C. Sousa Menezes de,1999

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Weak Bisimulation as a Congruence in MSOS;Lecture Notes in Computer Science;2015

2. Two Decades of Maude;Lecture Notes in Computer Science;2015

3. Basic completion strategies as another application of the Maude strategy language;Electronic Proceedings in Theoretical Computer Science;2012-04-24

4. Transforming SOS Specifications to Linear Processes;Formal Methods for Industrial Critical Systems;2011

5. Towards a Module System for K;Recent Trends in Algebraic Development Techniques;2009