Antescofo Intermediate Representation

TL;DR

This paper introduces an intermediate language for the Antescofo interactive music system, enabling platform-independent analysis, verification, and testing of musical programs through a simplified, flat finite state machine representation.

Contribution

It presents a novel intermediate representation for Antescofo programs that supports verification, testing, and analysis tasks across different platforms.

Findings

Supports verification of timings

Enables model-based conformance testing

Facilitates static control-flow analysis

Abstract

We describe an intermediate language designed as a medium-level internal representation of programs of the interactive music system Antescofo. This representation is independent both of the Antescofo source language and of the architecture of the execution platform. It is used in tasks such as verification of timings, model-based conformance testing, static control-flow analysis or simulation. This language is essentially a flat representation of Antescofo's code, as a finite state machine extended with local and global variables, with delays and with concurrent threads creation. It features a small number of simple instructions which are either blocking (wait for external event, signal or duration) or not (variable assignment, message emission and control).