DARTS.10.2.4.pdf
- Filesize: 0.54 MB
- 3 pages
e08e665e2106cb240317fb6524b2d398
(Get MD5 Sum)
The artifact has been evaluated as described in the ECOOP 2024 Call for Artifacts and the ACM Artifact Review and Badging Policy.
This artifact is a Docker image containing the snapshot of the source code, a built command-line binary, and an interactive demonstration of the type-checker developed for IFC language of the main paper. This article discusses its scope, contents and methods of use.
Feedback for Dagstuhl Publishing