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
LaBRI - Laboratoire Bordelais de Recherche en Informatique, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, Inria Bordeaux - Sud-Ouest
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.
Type de document :
Communication dans un congrès
Journées Francophones des Langages Applicatifs (JFLA), Jan 2015, Val d'Ajol, France. 2015
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01091736
Contributeur : David Janin <>
Soumis le : samedi 6 décembre 2014 - 06:22:32
Dernière modification le : mardi 29 mai 2018 - 09:14:04
Document(s) archivé(s) le : lundi 9 mars 2015 - 06:06:34

Fichier

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

Identifiants

  • 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. 2015. 〈hal-01091736〉

Partager

Métriques

Consultations de la notice

317

Téléchargements de fichiers

330