The rewriting logic semantics project
Authors:
- José MeseguerJMJosé Meseguer
- Grigore RoşuGRGrigore Roşu
- 1 April 2007
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 373 (3) , 213-237
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Practical Techniques for Language Design and Prototyping2005
- Modular structural operational semanticsThe Journal of Logic and Algebraic Programming, 2004
- Equational rules for rewriting logicTheoretical Computer Science, 2002
- Maude: specification and programming in rewriting logicTheoretical Computer Science, 2002
- Specification and proof in membership equational logicTheoretical Computer Science, 2000
- Functions as processesMathematical Structures in Computer Science, 1992
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- The chemical abstract machineTheoretical Computer Science, 1992
- On the algebraic definition of programming languagesACM Transactions on Programming Languages and Systems, 1987
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977