Choreographies in Practice - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2016

Choreographies in Practice

Luís Cruz-Filipe
  • Fonction : Auteur
  • PersonId : 998116
Fabrizio Montesi
  • Fonction : Auteur
  • PersonId : 972839

Résumé

Choreographic Programming is a development methodology for concurrent software that guarantees correctness by construction. The key to this paradigm is to disallow mismatched I/O operations in programs, and mechanically synthesise process implementations.There is still a lack of practical illustrations of the applicability of choreographies to computational problems with standard concurrent solutions. In this work, we explore the potential of choreographic programming by writing concurrent algorithms for sorting, solving linear equations, and computing Fast Fourier Transforms. The lessons learned from this experiment give directions for future improvements of the paradigm.
Fichier principal
Vignette du fichier
426757_1_En_8_Chapter.pdf (380.63 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01432931 , version 1 (12-01-2017)

Licence

Identifiants

Citer

Luís Cruz-Filipe, Fabrizio Montesi. Choreographies in Practice. 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.114-123, ⟨10.1007/978-3-319-39570-8_8⟩. ⟨hal-01432931⟩
56 Consultations
61 Téléchargements

Altmetric

Partager

More