<< 2008/05/15 | ホーム | 2008/05/17 >>

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"

タグ : ,