Abstract
Protocol programming languages are domain-specific languages that offer higher-level abstractions for programming of synchronization and communication protocols among participants. However, most implementations of protocol programming languages on shared memory architectures use pointer passing to exchange data in communications, so programs can still run into data races. We report on our ongoing efforts toward the first shared memory implementation of a protocol programming language that guarantees freedom of data races, without excessive copying, by leveraging the programming language Rust and its type system.
| Original language | English |
|---|---|
| Title of host publication | ICOOOLPS '18 |
| Subtitle of host publication | Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems |
| Editors | Tod Millstein |
| Place of Publication | New York, NY |
| Publisher | Association for Computing Machinery (ACM) |
| Pages | 36-40 |
| Number of pages | 5 |
| ISBN (Print) | 9781450358040 |
| DOIs | |
| Publication status | Published - 17 Jul 2018 |
| Event | European Conference on Object Oriented Programming July 16 - 21, 2018 - Amsterdam, Netherlands Duration: 16 Jul 2018 → 21 Jul 2018 https://conf.researchr.org/home/ecoop-2018 |
Conference
| Conference | European Conference on Object Oriented Programming July 16 - 21, 2018 |
|---|---|
| Abbreviated title | ECOOP '18 |
| Country/Territory | Netherlands |
| City | Amsterdam |
| Period | 16/07/18 → 21/07/18 |
| Internet address |
Keywords
- Protocol languages
- Reo
- Rust