Inference of reference immutability
Java プログラムを対象に参照の immutability を Javari の型システムに基づいて推論するアルゴリズムを考えて Javarifier というツールに実装しました、という論文。
author="Jaime Quinonez and Matthew S. Tschantz and Michael D. Ernst",
title="{Inference of reference immutability}",
booktitle="ECOOP 2008",
publisher="Springer",
volume="5142",
series="LNCS",
pages="616--641",
year="2008"