Verifying message-passing programs with dependent behavioural types
- Submitting institution
-
Aston University
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 29061956
- Type
- E - Conference contribution
- DOI
-
10.1145/3314221.3322484
- Title of conference / published proceedings
- PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
- First page
- 502
- Volume
- -
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- June
- Year of publication
- 2019
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
A - Aston Institute of Urban Technology and the Environment (ASTUTE)
- Citation count
- 1
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Presented in a CORE rank A* conference, the paper's theory is designed specifically toward an implementation in the Scala programming language - in its upcoming version 3, called Dotty [https://dotty.epfl.ch/]. The implementation is an Open Source programming toolkit called Effpi - https://alcestes.github.io/effpi Effpi has been peer-reviewed, and allows to reproduce the paper's claims (see ACM artifact badges on 1st page of paper). Effpi has been well received by the Scala community, and has been added to the Dotty Community Build - https://medium.com/@jducoeur/effpi-3be4c47476be The first author has been invited to present the work at the Scala World 2019 conference - https://scala.world/
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
