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).
Type de document :
Communication dans un congrès
David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 〈http://jfla.inria.fr/2015〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01099131
Contributeur : David Baelde <>
Soumis le : mercredi 31 décembre 2014 - 15:32:11
Dernière modification le : jeudi 11 janvier 2018 - 06:20:17
Document(s) archivé(s) le : mercredi 1 avril 2015 - 10:11:29

Fichier

jfla15_submission_16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 〈http://jfla.inria.fr/2015〉. 〈hal-01099131〉

Partager

Métriques

Consultations de la notice

126

Téléchargements de fichiers

61