2026-07-22T03:56:39Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9238 2024-03-06T11:05:04Z ddc:004 open_access

Definite Reference Mutability (Artifact) Milanova, Ana Huang, Wei reference immutability type inference CFL-reachability Related paper "Definite Reference Mutability" presents ReM (Re[ference] M[utability]), a type system that separates mutable references into (1) definitely mutable, and (2) maybe mutable, i.e., references whose mutability is due to inherent approximation. We have implemented ReM and applied it on a large benchmark suite. Results show that ~ 86\% of mutable references are definitely mutable. This article describes the tool artifact from the related paper. The purpose of the article and artifact is to allow researchers to reproduce our results, as well as build new type systems upon our code. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ana Milanova and Wei Huang 2018 Is Part Of DARTS, Volume 4, Issue 3, Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.4.3.7 urn:nbn:de:0030-drops-92382 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.7 eng https://creativecommons.org/licenses/by/3.0/de/legalcode