Composing Programming Languages by Combining Action-Semantics Modules
Open Access
- 30 June 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 44 (2) , 87-109
- https://doi.org/10.1016/s1571-0661(04)80922-8
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A Modular SOS for Action NotationBRICS Report Series, 1999
- ASD: The action semantic description toolsPublished by Springer Nature ,1996
- Extensible denotational language specificationsPublished by Springer Nature ,1994
- An action semantics for ML concurrency primitivesPublished by Springer Nature ,1994
- Action semantics-directed prototypingComputer Languages, 1993
- Extraction of strong typing laws from action semantics definitionsPublished by Springer Nature ,1992