Mots clés
audio communication compiler composition dataflow Domain Specific Language DSP ecosystem Elody FAUST functional graphic inscore interaction language lock-free MIDI MidiShare music music score musicale musique operating processing programming real-time score signal synchronization systems
2002 |
|
Malod, Guillaume Etude de l’extension de la notion d’abstraction du lambda-calcul. (Technical Report) 2002. (Abstract | Links | BibTeX | Étiquettes: Elody, lambda-calcul, language, music, programming) @techreport{ Malod:02 ,
title = {Etude de l’extension de la notion d’abstraction du lambda-calcul.}, author = {Guillaume Malod}, editor = {Grame}, url = {FreeGen.pdf}, year = {2002}, date = {2002-01-01}, booktitle = {Technical Report – 02-08-09}, abstract = {Le programme Elody repose principalement sur les concepts du lambda-calcul, notamment les notions d’abstraction et d’application. L’abstraction classique a été étendue dans [leplatre] afin de permettre des manipulations plus puissantes de lambda-termes. Cette extension reposait sur une relation de généralité définie entre deux termes. Nous étudions ici plus précisément comment définir une relation de généralité entre deux termes, dans un but un peu différent du précédent: nous souhaitons pouvoir représenter des ensembles de termes, avec comme intuition qu’un terme représente l’ensemble de tous les termes moins généraux que lui. On cherche donc d’abord à obtenir une définition précise à partir de cette idée intuitive, en envisageant différentes définitions possibles, et on étudie les conséquences du choix qui semble le plus logique. La définition adoptée permet de définir une relation d’ordre et une relation d’équivalence qu’il convient de caractériser. On montre ensuite qu’il est possible de définir la borne supérieure et la borne inférieure d’un ensemble fini de termes, ce qui correspond à l’union et à l’intersection pour les ensembles de termes. On obtient finalement un cadre théorique assez net autour de la notion de généralité, qui permet d’envisager d’autres développements en manipulant des ensembles de termes. A titre d’exemple, on présente les algorithmes permettant d’effectuer les opérations sur les termes discutées précédemment, et enfin le code source commenté d’une implémentation simple en Caml.}, keywords = {Elody, lambda-calcul, language, music, programming}, pubstate = {published}, tppubtype = {techreport} } Le programme Elody repose principalement sur les concepts du lambda-calcul, notamment les notions d’abstraction et d’application. L’abstraction classique a été étendue dans [leplatre] afin de permettre des manipulations plus puissantes de lambda-termes. Cette extension reposait sur une relation de généralité définie entre deux termes. Nous étudions ici plus précisément comment définir une relation de généralité entre deux termes, dans un but un peu différent du précédent: nous souhaitons pouvoir représenter des ensembles de termes, avec comme intuition qu’un terme représente l’ensemble de tous les termes moins généraux que lui. On cherche donc d’abord à obtenir une définition précise à partir de cette idée intuitive, en envisageant différentes définitions possibles, et on étudie les conséquences du choix qui semble le plus logique. La définition adoptée permet de définir une relation d’ordre et une relation d’équivalence qu’il convient de caractériser. On montre ensuite qu’il est possible de définir la borne supérieure et la borne inférieure d’un ensemble fini de termes, ce qui correspond à l’union et à l’intersection pour les ensembles de termes. On obtient finalement un cadre théorique assez net autour de la notion de généralité, qui permet d’envisager d’autres développements en manipulant des ensembles de termes. A titre d’exemple, on présente les algorithmes permettant d’effectuer les opérations sur les termes discutées précédemment, et enfin le code source commenté d’une implémentation simple en Caml.
|
1997 |
|
Leplatre, Gregory Développement d’un opérateur d’abstraction généralisée pour le langage de programmation musicale Elody. (Technical Report) 1997. (Abstract | Links | BibTeX | Étiquettes: Elody, lambda-calcul, language, music, programming) @techreport{ Leplatre:97 ,
title = {Développement d’un opérateur d’abstraction généralisée pour le langage de programmation musicale Elody.}, author = {Gregory Leplatre}, editor = {Grame}, url = {Elody-AbstrGen.pdf}, year = {1997}, date = {1997-01-01}, abstract = {Dans le cadre des recherches réalisées au laboratoire d’informatique musicale de Grame autour des langages homogènes dérivés du lambda-calcul non typé, on se propose d’étudier les possibilités de généralisation de l’abstraction héritée du lambda-calcul. Dans cette optique, on formalise une notion de généralité des expressions du langage. En référence à cette notion, on peut envisager l’abstraction généralisée d’une expression e dans une expression f comme le moyen de désigner dans f tous les sous-termes q de f tels que e est plus générale que q. L’opérateur ainsi défini dans un lambda-calcul non typé peut être facilement adapté à un langage de programmation musicale dérivé du lambda-calcul. Dans Elody, un langage de ce type développé à Grame en JAVA, on a remplacé de cette manière, l’opérateur d’abstraction simple implémenté à l’origine, par un opérateur d’abstraction généralisé. Ce qui a pour incidence d’élargir la fonctionnalité du langage.}, keywords = {Elody, lambda-calcul, language, music, programming}, pubstate = {published}, tppubtype = {techreport} } Dans le cadre des recherches réalisées au laboratoire d’informatique musicale de Grame autour des langages homogènes dérivés du lambda-calcul non typé, on se propose d’étudier les possibilités de généralisation de l’abstraction héritée du lambda-calcul. Dans cette optique, on formalise une notion de généralité des expressions du langage. En référence à cette notion, on peut envisager l’abstraction généralisée d’une expression e dans une expression f comme le moyen de désigner dans f tous les sous-termes q de f tels que e est plus générale que q. L’opérateur ainsi défini dans un lambda-calcul non typé peut être facilement adapté à un langage de programmation musicale dérivé du lambda-calcul. Dans Elody, un langage de ce type développé à Grame en JAVA, on a remplacé de cette manière, l’opérateur d’abstraction simple implémenté à l’origine, par un opérateur d’abstraction généralisé. Ce qui a pour incidence d’élargir la fonctionnalité du langage.
|