Abstract
This paper presents Discourje: a runtime verification framework for communication protocols in Clojure. Discourje guarantees safety of protocol implementations relative to specifications, based on an expressive new version of multiparty session types. The framework has a formal foundation and is itself implemented in Clojure to offer a seamless specification–implementation experience. Benchmarks show Discourje’s overhead can be less than 5% for real/existing concurrent programs.
| Original language | English |
|---|---|
| Title of host publication | Tools and Algorithms for the Construction and Analysis of Systems |
| Subtitle of host publication | 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I |
| Editors | Armin Biere, David Parker |
| Place of Publication | Cham |
| Publisher | Springer Open |
| Chapter | 15 |
| Pages | 266-284 |
| Number of pages | 19 |
| ISBN (Electronic) | 978-3-030-45190-5 |
| ISBN (Print) | 978-3-030-45189-9 |
| DOIs | |
| Publication status | Published - 2020 |
| Event | (Cancelled) 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Dublin, Ireland Duration: 25 Apr 2020 → 30 Apr 2020 Conference number: 26 https://etaps.org/2020/tacas https://link.springer.com/content/pdf/10.1007%2F978-3-030-45237-7.pdf |
Publication series
| Series | Lecture Notes in Computer Science (LNCS) series |
|---|---|
| Volume | 12078 |
| ISSN | 0302-9743 |
| Series | Theoretical Computer Science and General Issues (LNCS subseries) |
|---|---|
| Volume | 12078 |
Conference
| Conference | (Cancelled) 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Abbreviated title | TACAS 2020 |
| Country/Territory | Ireland |
| City | Dublin |
| Period | 25/04/20 → 30/04/20 |
| Internet address |