Semantics for multirate Faust
Résumé
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.
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...