![grame_publications.png](/assets/f1920x1200-q85-p1/b2c1f27d/grame_publications.png)
![grame_publication_motif.png](/assets/f1920x1200-q85-p1/dbb037b3/grame_publication_motif.png)
2009
Semantics for multirate Faust
[Technical Report] GRAME. 2009
Faust is a functional programming language dedicated to the specification of executable monorate musical applications. We present here a multirate extension of the core of the Faust language, called MR Faust, together with a typing semantics, a denotational semantics and correctness theorems that link them together.
Mots-clés :
FAUST, Multirate, Processing, Signal