Choreographic programming: Difference between revisions

Revision as of 06:58, 14 January 2022

Revision as of 10:40, 14 January 2022

Line 1:

{{short description|Programming paradigm}}

{{Orphan|date=January 2022}}

{{Programming paradigms}}

Line 39 ⟶ 38:

== Development ==

The paradigm of choreographic programming originates from its titular PhD thesis.<ref name="M13:phd">{{cite thesis |type=PhD |last=Montesi |first=Fabrizio |date=2013 |title=Choreographic Programming |url=https://www.fabriziomontesi.com/files/choreographic_programming.pdf |___location= |publisher=IT University of Copenhagen |isbn=978-87-7949-299-8}} [https://eapls.org/items/1855/ (EAPLS Best PhD Dissertation Award)]</ref><ref name="GH21">{{Citecite journal arXiv|eprint=2111.03484|last1=Hirsch |first1=Andrew K. |last2=Garg |first2=Deepak |title=Pirouette: Higherhigher-Orderorder Typedtyped Functionalfunctional choreographies Choreographies|yearjournal=2021Proceedings of the ACM on Programming Languages |date=16 January 2022 |volume=6 |issue=POPL |pages=1–27 |classdoi=cs10.PL1145/3498684}} [https://popl22.sigplan.org/details/POPL-2022-popl-research-papers/23/Pirouette-Higher-Order-Typed-Functional-Choreographies (POPL 2022 Distinguished Paper)]</ref><ref>{{cite web |url=https://eapls.org/items/1855/ |title=Fabrizio Montesi wins the EAPLS Best PhD Dissertation Award 2014 |author=Arend Rensink |date=2015-08-30 |publisher=European Association for Programming Languages and Systems}}</ref>

The inspiration for the syntax of choreographic programming languages can be traced back to [[security protocol notation]], also known as "Alice and Bob" notation. Choreographic programming has also been heavily influenced by standards for [[service choreography]] and [[sequence diagram|interaction diagrams]], as well as developments of the theory of [[process calculus|process calculi]].<ref name="mp-langs"/><ref>{{Cite journal|url=https://doi.org/10.1145/2220365.2220367|doi=10.1145/2220365.2220367|title=Structured Communication-Centered Programming for Web Services|year=2012|last1=Carbone|first1=Marco|last2=Honda|first2=Kohei|last3=Yoshida|first3=Nobuko|journal=ACM Transactions on Programming Languages and Systems|volume=34|issue=2|pages=1–78|s2cid=15737118}}</ref>