@article{liu01strengthening,
author="Yanhong A. Liu and Scott D. Stoller and Tim Teitelbaum",
title="Strengthening Invariants for Efficient Computation",
journal="Science of Computer Programming",
volume=41,
number=2,
pages="139-172", 
month=oct,
year=2001
}
</div><div class="naked_ctrl">
<form action="/index.cgi/speech" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="https://www3.cs.stonybrook.edu/~stoller/SIEC-SCP.bib">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="https://www3.cs.stonybrook.edu/~stoller/SIEC-SCP.bib" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech" selected="selected">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>