Communication Dans Un Congrès Année : 2024

Lambda-MMM: The Intermediate Representation for Synchronous Signal Processing Language Based on Lambda Calculus

Tomoya Matsuura
  • Fonction : Auteur
  • PersonId : 1481376

Résumé

This paper proposes λmmm, a call-by-value, simply typed lambda calculus-based intermediate representation for a music programming language that handles synchronous signal processing and introduces a virtual machine and instruction set to execute λmmm. Digital signal processing is represented by a syntax that incorporates the internal states of delay and feedback into the lambda calculus. λmmm extends the lambda calculus, allowing users to construct generative signal processing graphs and execute them with consistent semantics. However, a challenge arises when handling higher-order functions because users must determine whether execution occurs within the global environment or during DSP execution. This issue can potentially be resolved through multi-stage computation.

Fichier principal
Vignette du fichier
2.pdf (283.38 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04849629 , version 1 (19-12-2024)

Licence

Identifiants

  • HAL Id : hal-04849629 , version 1

Citer

Tomoya Matsuura. Lambda-MMM: The Intermediate Representation for Synchronous Signal Processing Language Based on Lambda Calculus. Proceedings of the 4th International Faust Conference, Nov 2024, Turin, Italy. ⟨hal-04849629⟩
82 Consultations
158 Téléchargements

Partager

  • More