Formalizing and Proving Semantic Relations between Specifications by Reflection
- 1 January 2004
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 72-86
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Reflective metalogical frameworksACM Transactions on Computational Logic, 2004
- Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting LogicElectronic Notes in Theoretical Computer Science, 2004
- Formalizing and Proving Semantic Relations between Specifications by ReflectionLecture Notes in Computer Science, 2004
- The Maude 2.0 System2003
- Maude: specification and programming in rewriting logicTheoretical Computer Science, 2002
- Specification and proof in membership equational logicTheoretical Computer Science, 2000
- Membership algebra as a logical framework for equational specification1998