Skip to Main content Skip to Navigation
Conference papers

Choreographies in Practice

Abstract : 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.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01432931
Contributor : Hal Ifip <>
Submitted on : Thursday, January 12, 2017 - 11:35:08 AM
Last modification on : Friday, August 23, 2019 - 3:20:03 PM
Long-term archiving on: : Friday, April 14, 2017 - 2:50:30 PM

File

426757_1_En_8_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

124

Files downloads

287