Flux média tuilés polymorphes: une sémantique opérationnelle en Haskell

Théis Bazin 1 David Janin 2, 3
2 PoSET - Models for a Structured Programming of Space and Time
Inria Bordeaux - Sud-Ouest, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, LaBRI - Laboratoire Bordelais de Recherche en Informatique
Résumé : De nombreux outils sont aujourd'hui disponibles pour l'analyse et la production temps réel de flux média temporisés : son, vidéo, animation. Néanmoins, la coordination de ces outils, la synchronisation des flux qu'ils analysent et produisent, sur des échelles de temps de valeurs et même de nature différentes, reste une affaire délicate. Le modèle des Tiled Polymorphic Temporal Media (ou tptm), qui combine en un même formalisme le contenu média de ces flux et leurs marqueurs de synchronisation, vise a remédier à cela. Dans le modèle, le produit de deux flux ainsi enrichis, paramétré par ces marqueurs de syn-chronisation, est tout à la fois séquentiel et parallèle : c'est un produit tuilé. D'un point de vue théorique, la sémantique de ces flux tuilés peut être décrite à l'aide des monoïdes inversifs. Pour l'aspect pratique, nous pro-posons ici, en Haskell, la première implémentation réellement polymorphe et inversive de ces Tiled Polymorphic Temporal Media. Notre implémenta-tion permet en outre, via le mécanisme d'évaluation paresseuse d'Haskell, de distinguer simplement la syntaxe de ces flux – un système d'équations tuilées – de leur sémantique opérationnelle – la résolution de ce système à la volée.
Liste complète des métadonnées

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01091736
Contributor : David Janin <>
Submitted on : Saturday, December 6, 2014 - 6:22:32 AM
Last modification on : Tuesday, May 29, 2018 - 9:14:04 AM
Document(s) archivé(s) le : Monday, March 9, 2015 - 6:06:34 AM

File

report.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01091736, version 1

Relations

Citation

Théis Bazin, David Janin. Flux média tuilés polymorphes: une sémantique opérationnelle en Haskell. Journées Francophones des Langages Applicatifs (JFLA), Jan 2015, Val d'Ajol, France. ⟨hal-01091736⟩

Share

Metrics

Record views

320

Files downloads

332