<< Towards Type Inference for JavaScript | ホーム | Object-Based Data Flow Testing of Web Applications >>

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"

タグ : ,



コメント追加 トラックバック送信