CAOS: A reusable scala web animator of operational semantics (Software Artefact)
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.
Proença, J.M.P, & Edixhoven, L.J. (2023). CAOS: A reusable scala web animator of operational semantics (Software Artefact). doi:10.5281/zenodo.7888539