Jif 向けの IDE の提案。IDE としてやるべきことはいろいろあるけれど、まずは情報流解析でエラーが出た時の対処から。一番の問題はエラーメッセージがわかりにくく、原因箇所の特定が難しいことなのでそれをどうにかする。Eclipse にのっていろいろな情報を出したり Quick Fix できるようにしたり。Quick Fix はセキュリティラベルの変更や declassification の挿入など。

author="Boniface Hicks and Dave King and Patrick McDaniel",
title="{Jifclipse: Development Tools for Security-Typed Languages}",
booktitle="PLAS 2007",
publisher="ACM",
pages="1--10",
year="2007"

http://doi.acm.org/10.1145/1255329.1255331
Jifclipse

コメント追加

投稿者 kw : 2009/04/16 18:51:00 JST #

SAFARI: A Meta-Tooling Platform for Creating Language-Specific IDEs

コメント追加

投稿者 kw : 2009/04/16 18:41:00 JST #

なぜこの方程式は解けないか？、Mario Livio 著、斉藤隆央 訳、早川書房

読了。

コメント追加

投稿者 kw : 2009/04/16 12:14:00 JST #