Dependent Vector Types for Multirate Faust - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Proceedings of the Sound and Music Computing Conference Année : 2010

Dependent Vector Types for Multirate Faust

(1) , (2)
1
2
Pierre Jouvelot
Yann Orlarey
  • Fonction : Auteur
  • PersonId : 882828

Résumé

Faust is a functional programming language dedicated to the specification of executable monorate synchronous mu- sical applications. To extend Faust capabilities to domains such as spectral processing, we introduce here a multi- rate extension of the core Faust language. The key idea is to link rate changes to data structure manipulation op- erations: creating a vector-valued output signal divides the rate of input signals by the vector size, while serializing vectors multiplies rates accordingly. This interplay be- tween vectors and rates is made possible in the language static semantics by the introduction of dependent types. We present a typing semantics, a denotational semantics and a correctness theorem that show that this extension preserves the language synchonous characteristics. This new design is under implementation in the Faust compiler.
Fichier non déposé

Dates et versions

hal-00628600 , version 1 (03-10-2011)

Identifiants

  • HAL Id : hal-00628600 , version 1

Citer

Pierre Jouvelot, Yann Orlarey. Dependent Vector Types for Multirate Faust. Proceedings of the Sound and Music Computing Conference, 2010, SMC'10 2010, pp.Pages 345--352. ⟨hal-00628600⟩
83 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More