DARTS.5.2.9.pdf
- Filesize: 262 kB
- 2 pages
Document
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Volume: DARTS, Volume 5 (ECOOP 2019)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2019-07-12
Artifact Description
Document Identifiers
Acknowledgements
The authors would like to thank Rafi Turas for writing the implementation of these techniques in Poseidon Lua. We’d also like to thank Hugo Musso Gualandi for his valuable discussions/feedback. This work was partially funded by NSERC.
Cite As Get BibTex
Alexi Turcotte, Ellen Arteca, and Gregor Richards. Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact). In Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Dagstuhl Artifacts Series (DARTS), Volume 5, Issue 2, pp. 9:1-9:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/DARTS.5.2.9
Artifact
DARTS-5-2-9-artifact-007f2651fe2c6919e8423123d4bc2db5.ova
(Filesize: 2.79 GB)
MD5 Sum:
007f2651fe2c6919e8423123d4bc2db5
(Get MD5 Sum)
Abstract
There are two components to this artifact. First, a we provide a mechanization of the formalization in the paper, as well as mechanized proofs of the main results from the paper. Second, we provide a full implementation of Poseidon Lua, the language implemented in the paper. Instructions for all components of the artifact are included this document.
Subject Classification
ACM Subject Classification
- Software and its engineering → Interoperability
- Software and its engineering → Semantics
Keywords
- Language design
- Language interoperation
- Formal semantics
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads