読了。全文ダウンロードできたので一気に読んでしまった。ダウンロードは 2010/04/15 まで。

コメント追加

投稿者 kw : 2010/02/27 16:47:00 JST #

気づけばもう一年。

コメント追加

投稿者 kw : 2010/02/27 14:19:00 JST #

2 ヶ月くらい前に修理に出したノート PC だけど、バッテリの接触不良なのか AC アダプタをつないでいない時に落ちることが何度も発生。今まではスリープ中に落ちるだけだったのに、今日は Windows の起動中に落ちてくれたせいで Windows のシステムファイルが壊れて起動しなくなりました。てことで、修復セットアップするために Windows の CD を捜索中。XP Pro の CD はあるけど Home のがない。見つからなかったらどうしよう。

(追記：2010/02/19 18:50) 回復コンソールから作業して復活しました。現象と対処としてはhttp://support.microsoft.com/kb/307545/JA/を見た方が早いので省略。違うところが一つだけ。レジストリファイルの保存されているフォルダには回復コンソールからアクセスできないと書いてあるけど、なぜかできたので全部回復コンソールから作業して済ませました。やれやれ。

コメント追加

投稿者 kw : 2010/02/19 12:40:00 JST #

CLR から JVM への変換を XML を使ってやったという論文。それぞれのバイトコードの XML 表現を定義して XSLT, XPath を使って変換規則を定義。バイトコードを表現する XML は共通部分と個々のバイトコードに固有な部分に別の名前空間を使う。JVM は CLR のサブセットらしいので論文では CLR から JVM への変換を定義。API のマッピングについてはラッパーを作るとかマッピングを全部定義すればいいみたいな感じで書かれてたけど、それが一番問題なんじゃないかな。API のマッピングの議論がいい加減すぎて脱力。

author="Arno Puder and Jessica Lee",
title="{Towards an XML-based Bytecode Level Transformation Framework}",
booktitle="BYTECODE 2009",
publisher="Elsevier",
volume="253",
series="ENTCS",
pages="97--111",
year="2009"

http://dx.doi.org/10.1016/j.entcs.2009.11.017

コメント追加

投稿者 kw : 2010/02/16 17:26:00 JST #

読了。

コメント追加

投稿者 kw : 2010/02/15 21:33:00 JST #

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

コメント追加

投稿者 kw : 2010/02/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/02/08 10:40:00 JST #

読了。

コメント追加

投稿者 kw : 2010/02/04 22:38:00 JST #

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

コメント追加

投稿者 kw : 2010/02/01 22:12:00 JST #