Article thumbnail
Location of Repository

Definite Reference Mutability (Artifact)

By Ana Milanova and Wei Huang

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

Topics: reference immutability, type inference, CFL-reachability, Data processing Computer science
Publisher: DARTS - Dagstuhl Artifacts Series. DARTS, Volume 4, Issue 3
Year: 2018
DOI identifier: 10.4230/DARTS.4.3.7
OAI identifier: oai:drops-oai.dagstuhl.de:9238
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://drops.dagstuhl.de/opus... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.