Skip to Main content Skip to Navigation
Reports

Antescofo Intermediate Representation

Florent Jacquemard 1, 2 Clément Poncelet Sanchez 1, 2
1 MuTant - Synchronous Realtime Processing and Programming of Music Signals
Inria Paris-Rocquencourt, UPMC - Université Pierre et Marie Curie - Paris 6, IRCAM - Institut de Recherche et Coordination Acoustique/Musique, CNRS - Centre National de la Recherche Scientifique
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).
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-00979359
Contributor : Florent Jacquemard Connect in order to contact the contributor
Submitted on : Tuesday, April 29, 2014 - 11:20:20 AM
Last modification on : Tuesday, July 13, 2021 - 2:17:05 PM
Long-term archiving on: : Tuesday, July 29, 2014 - 10:55:31 AM

Files

RR-8520.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00979359, version 1
  • ARXIV : 1404.7335

Citation

Florent Jacquemard, Clément Poncelet Sanchez. Antescofo Intermediate Representation. [Research Report] RR-8520, INRIA. 2014, pp.13. ⟨hal-00979359⟩

Share

Metrics

Record views

508

Files downloads

282