License
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.4.3.7
URL: http://drops.dagstuhl.de/opus/volltexte/2018/9238/
Go back to Dagstuhl Artifacts Series


Milanova, Ana ; Huang, Wei

Definite Reference Mutability (Artifact)

pdf-format:
DARTS-4-3-7.pdf (0.4 MB)
artifact-format:
DARTS-4-3-7-artifact-590b9f9b3160a342dcf2d71abb6c7585.zip (115 MB)


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}
}

Keywords: reference immutability, type inference, CFL-reachability
Seminar: DARTS, Volume 4, Issue 3
Related Scholarly Article: https://dx.doi.org/10.4230/LIPIcs.ECOOP.2018.25
Issue Date: 2018
Date of publication: 05.07.2018


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI