2023-05-02
CAOS: A reusable scala web animator of operational semantics (Software Artefact)
Publication
Publication
This software artefact accompanies a paper entitled "CAOS: A Reusable Scala Web Animator of Operational Semantics", accepted at the COORDINATION 2023 conference. It includes a set of libraries in the Scala language that support the creation of web-based frontends that analyse Domain Specific Languages (DSL), with dedicated libraries to reason over operational rules and to produce visual diagrams.
| Additional Metadata | |
|---|---|
| doi.org/10.5281/zenodo.7888539 | |
|
Proença, J., & Edixhoven, L. (2023). CAOS: A reusable scala web animator of operational semantics (Software Artefact). doi:10.5281/zenodo.7888539 |
|
| See Also |
|---|
