Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and M. Vittek. ELAN: A logical framework based on computational systems. In Meseguer [12], pages 35--50.
2. M. Clavel. Reflection in General Logics and in Rewriting Logic with Applications to the Maude Language. PhD thesis, University of Navarre, 1998. To be published by CSLI Publications, Stanford University.
3. M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. In Meseguer [12], pages 65--89.
4. F. Duran and J. Meseguer. An extensible module algebra for maude. In this volume.
5. Proc. Reflection'96,1996
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Two Decades of Maude;Lecture Notes in Computer Science;2015
2. Effective strategic programming for Java developers;Software: Practice and Experience;2012-10-04
3. From OBJ to Maude and Beyond;Algebra, Meaning, and Computation;2006
4. Maude's Internal Strategies;Electronic Notes in Theoretical Computer Science;2005-04
5. Formal Checklists for Remote Agent Dependability;Electronic Notes in Theoretical Computer Science;2005-01