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, 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).
Type de document :
Rapport
[Research Report] RR-8520, INRIA. 2014, pp.13
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00979359
Contributeur : Florent Jacquemard <>
Soumis le : mardi 29 avril 2014 - 11:20:20
Dernière modification le : jeudi 11 janvier 2018 - 06:24:15
Document(s) archivé(s) le : mardi 29 juillet 2014 - 10:55:31

Fichiers

RR-8520.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Collections

Citation

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

Partager

Métriques

Consultations de la notice

355

Téléchargements de fichiers

200