Signal Rate Inference for Multi-Dimensional Faust

Abstract : We introduce a new signal-level, type-and rate-based semantic framework for describing a multi-rate version of the functional , domain-specific Faust language, dedicated to audio signal processing, and here extended to support array-valued samples. If Faust is usually viewed as a formalism for combining signal processors, which are expressions mapping input signals to output signals, we provide here the first formal, lower-level semantics for Faust based on signals instead. In addition to its interest in understanding the inner workings of the Faust compiler, which uses symbolic evaluation of signal expressions, this approach turns out to be useful when introducing a language extension targeting multi-rate and multi-dimensional (array-valued) processing. More precisely, we provide (1) new syntax and dynamic semantics for (recursive) Faust-based signals, (2) a type and, more interestingly, rational rate static semantics and (3) a new rate inference algorithm, together with its soundness and (relative) completeness theorems. Preliminary experiments in a prototype implementation of this extension in the Faust compiler are underway.
Type de document :
Communication dans un congrès
The 28th symposium on Implementation and Application of Functional Languages (IFL 2016), Aug 2016, Leuven, Belgium. pp.1:1--1:12, Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. 〈10.1145/3064899.3064902〉
Liste complète des métadonnées

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

https://hal-mines-paristech.archives-ouvertes.fr/hal-01364119
Contributeur : Claire Medrala <>
Soumis le : lundi 12 septembre 2016 - 13:57:58
Dernière modification le : vendredi 27 octobre 2017 - 17:40:02
Document(s) archivé(s) le : mardi 13 décembre 2016 - 13:29:02

Fichier

A-644.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Yann Orlarey, Pierre Jouvelot. Signal Rate Inference for Multi-Dimensional Faust. The 28th symposium on Implementation and Application of Functional Languages (IFL 2016), Aug 2016, Leuven, Belgium. pp.1:1--1:12, Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. 〈10.1145/3064899.3064902〉. 〈hal-01364119〉

Partager

Métriques

Consultations de la notice

97

Téléchargements de fichiers

89