Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)

This tool paper presents Caos: a methodology and a programming framework for computer-aided design of structural operational semantics for formal models. This framework includes a set of Scala libraries and a workflow to produce visual and interactive diagrams that animate and provide insights over...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	arXiv.org 2023-04
Hauptverfasser:	Proença, José, Edixhoven, Luc
Format:	Artikel
Sprache:	eng
Schlagworte:	CAD Computer aided design Semantics Workflow
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!