2026-07-22T07:05:32Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:20904 2024-09-12T05:53:12Z ddc:004 open_access

Pure Methods for roDOT (Artifact) Dort, Vlastimil Li, Yufeng Lhoták, Ondřej Parízek, Pavel type systems DOT calculus pure methods The artifact for the paper Pure methods for roDOT (ECOOP 2024) contains the Coq mechanization of the theorems appearing in the paper, and the necessary definitions and lemmata. Additionally, the artifact contains a mechanization of the roDOT calculus presented in an earlier paper Reference mutability for DOT (ECOOP 2020). We used the calculus from this paper as the baseline for our paper, but it has not been mechanized before. The functionality of the artifact is the ability to verify the correctness of the theorems by running Coq. Our code is based on a mechanization of a soundness proof for Field Mutable DOT. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Vlastimil Dort and Yufeng Li and Ondřej Lhoták and Pavel Parízek 2024 Is Part Of DARTS, Volume 10, Issue 2, Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.10.2.6 urn:nbn:de:0030-drops-209046 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.6 eng https://creativecommons.org/licenses/by/4.0/legalcode