Content deleted Content added
Citation bot (talk | contribs) Altered template type. Add: class, eprint. Removed URL that duplicated identifier. Removed access-date with no URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar |
m Open access bot: arxiv updated in citation with #oabot. |
||
Line 76:
* AIOCJ ([http://www.cs.unibo.it/projects/jolie/aiocj.html website]).<ref name="aiocj-paper"/> A choreographic programming language for [[Adaptation (computer science)|adaptable systems]] that produces code in [[Jolie (programming language)|Jolie]].
* Chor ([https://www.chor-lang.org/ website]).<ref name=":0">{{Cite book|chapter-url=https://doi.org/10.1145/2429069.2429101|doi=10.1145/2429069.2429101|chapter=Deadlock-freedom-by-design|title=Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13|year=2013|last1=Carbone|first1=Marco|last2=Montesi|first2=Fabrizio|page=263|isbn=9781450318327|s2cid=15627190}}</ref> A [[session type|session-typed]] choreographic programming language that compiles to [[microservices]] in [[Jolie (programming language)|Jolie]].
* Choral ([https://www.choral-lang.org/ website]).<ref>{{Cite journal |last1=Giallorenzo |first1=Saverio |last2=Montesi |first2=Fabrizio |last3=Peressotti |first3=Marco |date=2024-01-16 |title=Choral: Object-oriented Choreographic Programming |url=https://dl.acm.org/doi/10.1145/3632398 |journal=ACM Trans. Program. Lang. Syst. |volume=46 |issue=1 |pages=1:1–1:59 |doi=10.1145/3632398 |issn=0164-0925|arxiv=2005.09520 }}</ref><ref>{{cite arXiv |last1=Giallorenzo |first1=Saverio |title=Choral: Object-Oriented Choreographic Programming |date=2023-10-19 |eprint=2005.09520 |last2=Montesi |first2=Fabrizio |last3=Peressotti |first3=Marco|class=cs.PL }}</ref> An object-oriented choreographic programming language that compiles to libraries in [[Java (programming language)|Java]]. Choral is the first choreographic programming language with decentralised data structures and higher-order parameters.
* ChoRus ([https://lsd-ucsc.github.io/ChoRus/ website]). Library-level choreographic programming in [[Rust (programming language)|Rust]].
* Core Choreographies.<ref>{{Cite journal|url=https://doi.org/10.1016/j.tcs.2019.07.005|doi = 10.1016/j.tcs.2019.07.005|title = A core model for choreographic programming|year = 2020|last1 = Cruz-Filipe|first1 = Luís|last2 = Montesi|first2 = Fabrizio|journal = Theoretical Computer Science|volume = 802|pages = 38–66|s2cid = 199122777|arxiv = 1510.03271}}</ref> A core theoretical model for choreographic programming. A [[Proof assistant|mechanised]] implementation is available in [[Coq (software)|Coq]].<ref>{{Cite book|doi=10.4230/LIPIcs.ITP.2021.15|isbn=9783959771887|title=Formalising a Turing-Complete Choreographic Language in Coq|series=Leibniz International Proceedings in Informatics (LIPIcs)|year=2021|volume=193|pages=15:1–15:18|last1=Cohen|first1=Liron|last2=Kaliszyk|first2=Cezary|doi-access=free |s2cid=231802115}}</ref><ref>{{Cite journal |last1=Cruz-Filipe |first1=Luís |last2=Montesi |first2=Fabrizio |last3=Peressotti |first3=Marco |date=2023-05-27 |title=A Formal Theory of Choreographic Programming |journal=Journal of Automated Reasoning |language=en |volume=67 |issue=2 |pages=21 |doi=10.1007/s10817-023-09665-3 |s2cid=252090305 |issn=1573-0670|doi-access=free |arxiv=2209.01886 }}</ref><ref>{{cite book |last1=Cruz-Filipe |first1=Luís |title=Certifying Choreography Compilation |date=2021 |url=https://link.springer.com/10.1007/978-3-030-85315-0_8 |work=Theoretical Aspects of Computing – ICTAC 2021 |volume=12819 |pages=115–133 |editor-last=Cerone |editor-first=Antonio |place=Cham |publisher=Springer International Publishing |language=en |doi=10.1007/978-3-030-85315-0_8 |isbn=978-3-030-85314-3 |access-date=2022-03-07 |last2=Montesi |first2=Fabrizio |last3=Peressotti |first3=Marco |series=Lecture Notes in Computer Science |arxiv=2102.10698 |s2cid=231985665 |editor2-last=Ölveczky |editor2-first=Peter Csaba}}</ref>
| |||