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.

• View at Publisher

See Also
inProceedings Caos: A reusable scala web animator of operational semantics J.M.P. Proença (Jose) and L.J. Edixhoven (Luc)