Semantic foundations for generalized rewrite theories
Authors:
- Roberto BruniRBRoberto Bruni
- José MeseguerJMJosé Meseguer
- 1 August 2006
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 360 (1-3) , 386-414
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- A Rewriting Calculus for Cyclic Higher-order Term GraphsElectronic Notes in Theoretical Computer Science, 2005
- A ρ-Calculus of Explicit Constraint ApplicationElectronic Notes in Theoretical Computer Science, 2005
- Modular Rewriting Semantics in PracticeElectronic Notes in Theoretical Computer Science, 2005
- Reflective metalogical frameworksACM Transactions on Computational Logic, 2004
- Pure patterns type systems2003
- Maude: specification and programming in rewriting logicTheoretical Computer Science, 2002
- Inductive-data-type systemsTheoretical Computer Science, 2002
- The Rho Cube2001
- Specification and proof in membership equational logicTheoretical Computer Science, 2000
- Modularity of strong normalization in the algebraic-λ-cubeJournal of Functional Programming, 1997