The Extensibility of Maude’s Module Algebra-Reference-Cited by-同舟云学术

The Extensibility of Maude’s Module Algebra

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

Author:

Durán Francisco

Publisher

Springer Berlin Heidelberg

Link

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

Reference24 articles.

1. D. Basin, M. Clavel, and J. Meseguer. Reflective metalogical frameworks. In Proc. of Workshop on Logical Frameworks and Meta-languages, 1999. Available at http://www.cs.bell-labs.com/~felty/LFM99/ .

2. Lect Notes Comput Sci;R. Burstall,1980

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

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

5. Lect Notes Comput Sci;M. Clavel,1999

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

1. Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications;Rewriting Logic and Its Applications;2016

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

3. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10

4. A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories;Rewriting Logic and Its Applications;2010

5. A Rewriting Logic Sampler;Theoretical Aspects of Computing – ICTAC 2005;2005