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.
Throughout musical history new sounds and instruments have opened new opportunities for music making. In this paper we outline a new interactive digital instrument that implements the dynamic stochastic synthesis algorithm devised by Iannis Xenakis. We discuss the history and operation of this synthesis process, previous implementations of it, and how our… (More)