Modular structural operational semantics
- 1 July 2004
- journal article
- Published by Elsevier in The Journal of Logic and Algebraic Programming
- Vol. 60-61, 195-228
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Natural semantics2005
- Pragmatics of Modular SOSLecture Notes in Computer Science, 2002
- CASL: the Common Algebraic Specification LanguageTheoretical Computer Science, 2002
- Semantics for Algebraic OperationsElectronic Notes in Theoretical Computer Science, 2001
- Foundations of Modular SOSLecture Notes in Computer Science, 1999
- A Conservative Look at Operational Semantics with Variable BindingInformation and Computation, 1998
- Semantics, Modularity, and Rewriting LogicElectronic Notes in Theoretical Computer Science, 1998
- Enhanced operational semanticsACM Computing Surveys, 1996
- Modular denotational semantics for compiler construction1996
- Extensible denotational language specifications1994