Work

The CAOS framework for Scala: Computer-aided design of SOS

Year: 2024

Type: article

Abstract: We present : 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 the structure and the semantics of a given abstract model with operational rules. follows an approach where theoretical foundations and a practical tool are built together, as an alternative to foundations-first design (“tool justifies theory”) or tool-first design (“foundations justify practice”). The advantage of is that the tool-under-development can immediately be used to automatically run numerous and sizeable examples in order to identify subtle mistakes, unexpected outcomes, and unforeseen limitations in the foundations-under-development, as early as possible. More concretely, supports the quick creation of interactive websites that help the end-users better understand a new language, structure, or analysis. End-users can be research colleagues trying to understand a companion paper or students learning about a new simple language or operational semantics. We include a list of open-source projects with a web frontend supported by that are used both in research and teaching contexts.

Source: Science of Computer Programming

DOI: 10.1016/j.scico.2024.103222

Authors: José Proença, Luc Edixhoven

Institutions: Universidade do Porto, Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Centrum Wiskunde & Informatica, Open University of the Netherlands

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,460

Funders: Fundação para a Ciência e a Tecnologia, NextGenerationEU