今日が修論・卒論の締切ということで先週は大変なことになっていましたが、ようやく終了。もう少し早く書いてくれれば…と何度も思ったけど、それは毎年のこと。

コメント追加

投稿者 kw : 2010年2月15日 19:58:00 JST #

Java の例外をフォーマルに扱うための体系の提案。体系としては Featherweight Java に例外を入れた感じ。例外関係の使用をすべて扱うために抽象クラスとかインタフェースも追加。簡単にするために任意のクラスが例外クラスとなったり、非チェック例外がない。Java の使用に従って操作意味と型システムを定義して subject reduction を証明。

author="D. Ancona and G. Lagorio and E. Zucca",
title="{A Core Calculus for Java Exceptions}",
booktitle="OOPSLA '01",
publisher="ACM",
pages="16--30",
year="2001"

http://doi.acm.org/10.1145/504282.504284

コメント追加

投稿者 kw : 2010年2月8日 10:40:00 JST #

読了。

コメント追加

投稿者 kw : 2010年2月4日 22:38:00 JST #

今日は夕方頃まである程度積もる感じで雪でした。が、夜には雨に変わって路面とか車の上とかシャーベット状に。帰る時には車の上のシャーベット上のものが凍り始めていて落とすのも面倒でした。明日の朝とか凍ってたらやだな。

コメント追加

投稿者 kw : 2010年2月1日 22:12:00 JST #

自宅サーバは Debian の etch だったけど、もうすぐセキュリティサポートが終わるということで lenny にアップグレード。特に変わったことはやっていないのでドキュメントに従って作業して終了。ざっと確認した限りでは問題なく動いてるから大丈夫かな。

コメント追加

投稿者 kw : 2010年1月30日 12:50:00 JST #

手続き呼び出しの書ける低レベル言語を対象に非干渉性に関して健全な情報流解析のための型システムを提案。さらに情報流解析のための型システムによって型付け可能な高レベル言語から型付け可能な低レベル言語へのコンパイルを定義。

author="Gilles Barthe and Tamara Rezk and Amitabh Basu",
title="{Security Types Preserving Compilation}",
journal="Computer Languages, Systems and Structures",
volumn="33",
number="2",
pages="35--59",
year="2007"

http://dx.doi.org/10.1016/j.cl.2005.05.002

コメント追加

投稿者 kw : 2010年1月26日 13:16:00 JST #

読了。

コメント追加

投稿者 kw : 2010年1月24日 22:47:00 JST #