License: 
Creative Commons Attribution 3.0 Germany license (CC BY 3.0 DE)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.4.3.7
URN: urn:nbn:de:0030-drops-92382
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/9238/
Milanova, Ana ;
Huang, Wei
Definite Reference Mutability (Artifact)
Abstract
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.
BibTeX - Entry
@Article{milanova_et_al:DARTS:2018:9238,
author = {Ana Milanova and Wei Huang},
title = {{Definite Reference Mutability (Artifact)}},
pages = {7:1--7:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9238},
doi = {10.4230/DARTS.4.3.7},
annote = {Keywords: reference immutability, type inference, CFL-reachability}
}
