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
- https://doi.org/10.1016/j.jlap.2004.03.008
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Natural semanticsPublished by Springer Nature ,2005
- Pragmatics of Modular SOSPublished by Springer Nature ,2002
- CASL: the Common Algebraic Specification LanguageTheoretical Computer Science, 2001
- Semantics for Algebraic OperationsElectronic Notes in Theoretical Computer Science, 2001
- Foundations of Modular SOSPublished by Springer Nature ,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 constructionPublished by Springer Nature ,1996
- Extensible denotational language specificationsPublished by Springer Nature ,1994