Pour un raffinement spatio-temporel tuilé - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Pour un raffinement spatio-temporel tuilé

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01247424 , version 1

Cite

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⟩
128 View
123 Download

Share

Gmail Mastodon Facebook X LinkedIn More