Skip to Main content Skip to Navigation
Conference papers

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

Résumé : De nombreux outils sont aujourd'hui disponibles pour l'analyse et la production temps réel de flux média temporisés: sons, video, animations, etc... 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érente, reste une affaire délicate. Le modèle des Tiled Polymorphic Temporal Media (ou TPTM), qui combine en un même formalisme le contenu media de ces flux et leurs marqueurs de synchronisations, vise a remédier à cela. Dans le modèle, le produit de deux flux ainsi enrichis, paramétré par ces marqueurs de synchronisations, est tout à la fois séquentiel et parallèle: c'est un produit tuilé. En théorie, la sémantique des ces flux tuilés peut être décrite dans la théorie des monoïdes inversifs. En pratique, nous proposons ici, en Haskell, la première implémentation réellement polymorphe et inversive de ces TPTM. Notre implémentation 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és) de leurs sémantiques opérationnelles (la résolution de ce système à la volée).
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-01099131
Contributor : David Baelde <>
Submitted on : Wednesday, December 31, 2014 - 3:32:11 PM
Last modification on : Monday, February 15, 2021 - 10:38:57 AM
Long-term archiving on: : Wednesday, April 1, 2015 - 10:11:29 AM

File

jfla15_submission_16.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01099131, version 1

Citation

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

Share

Metrics

Record views

237

Files downloads

261