Pour un raffinement spatio-temporel tuilé - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Pour un raffinement spatio-temporel tuilé

Résumé

Dans le domaine de la construction et de la manipulation par programme de flux média temporisé, nous étudions la problématique du raffinement, c'est-à-dire le problème de la substitution de flux élémentaires par des flux plus complexes. Dans le cas de construction purement séquentielle, la notion de liste permet de faire cela sans difficulté. C'est du raffinement temporel. Le bind de la monade liste permet de réaliser ces substitutions. En présence de parallélisme, les choses sont plus complexes : aucune construction ne semble s'imposer a priori. Dans cet article, nous montrons comment la modélisation par tuilage, qui explicite dans sa syntaxe les points de synchronisation qui doivent être préservés lors d'un raffinement, permet de définir, sans ambiguïté et tout aussi simplement que dans le cas des listes, un raffinement spatio-temporel. Incidemment, cette approche rompt avec l'usage usuel des monades en programmation fonctionnelle qui permettent de représenter la séquentialité. Sur la monade des tuiles comme sur la monade des listes, le bind permet aussi de modéliser le raffinement.
Fichier principal
Vignette du fichier
archipoff_janin_jfla_2016.pdf (409.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01247424 , version 1 (21-12-2015)

Identifiants

  • HAL Id : hal-01247424 , version 1

Citer

Simon Archipoff, David Janin. Pour un raffinement spatio-temporel tuilé. JFLA 2016 : Vingt-septièmes Journées Francophones des Langages Applicatifs , Jan 2016, Saint-Malo, France. ⟨hal-01247424⟩
127 Consultations
123 Téléchargements

Partager

Gmail Facebook X LinkedIn More