紀伊國屋
普段は本は大学の生協か近くの本屋で買うことが多いけど、探してた本があまり数が出ていないらしく延々と探し回って紀伊國屋の通販で買うことに。送料を無料にするためについでにいろいろ買って、そのうちの一部が今朝到着。注文してから 24 時間でした。一括配送はやっていないみたいで、あと一回かもしかすると二回に分かれて来るかも。
(追記：2009/08/23 08:59) さらに 24 時間後に 1 冊到着。残り 2 冊。
(追記：2009/08/29 12:30) 残り 2 冊も到着。火曜日に来てたけど週末しか受け取れない。
開発環境
ノート PC を換えたときに移行しなかった某 W プロジェクトの開発環境を今頃になってようやく復元し始めました。時間がとれなくて結構長い間放置していたせいか、いまいちよくわからないところがちらほら。とりあえず Subversion から一式取ってきて、Ant のビルドファイルをちょこちょこ修正して、一部の Ant タスクターゲットは正常に走ることを確認しました。作ってある Ant タスクターゲットは一通り確認しようと思うけどもう少し時間がかかるかも。Subversion に突っ込んであるファイルが一部不足してることが既に判明したし。
(追記：2009/08/20 12:46) 一部修正
Type Analysis for JavaScript
JavaScript プログラムを抽象実行によって解析する手法の提案。フローグラフの各ノードの取り得る状態と、ある状態から次の状態への関数を定義し、全体が変化しなくなるまでぐるぐる回す。
author="Simon Holm Jensen and Anders Møller and Peter Thiemann",
title="{Type Analysis for JavaScript}",
booktitle="SAS'09",
publisher="Springer",
volume="5673",
series="LNCS",
pages="238--255",
year="2009"
Automatic Detection of Immutable Fields in Java
Java プログラムを対象にフィールドが不変か決定する手法の提案。オープンなプログラムが対象。クラス変数とフィールド変数を分けて考える。アルゴリズムも与えられていてやり方は自然だと思うけど、自然言語でいろいろ書いてあって読むのが面倒。
author="Sara Porat and Marina Biberstein and Larry Koved and Bilha Mendelson",
title="{Automatic Detection of Immutable Fields in Java}",
booktitle="CASCON '00",
publisher="IBM Press",
year="2000"
Points-to Analysis for JavaScript
JavaScript プログラムにおいて変数やプロパティがどのオブジェクトを指す可能性があるか静的に解析する points-to 解析の論文。指す可能性のあるオブジェクトの集合間の関係を各構文要素に対して構築して解く。テクニックとしては 3 日前の論文と似ている。どの程度の精度でできているのかは不明。
author="Dongseok Jang and Kwang-Moo Choe",
title="{Points-to Analysis for JavaScript}",
booktitle="SAC 2009",
publisher="ACM Press",
pages="1930--1937",
year="2009"
Interprocedural Exception Analysis for Java
例外を追跡する手法の提案。各構文要素に対してスローされる例外の集合と集合間の関係を定義する。やり方は結構素朴に見える。実装して評価までとってるみたいだけど、それほどストレートに実装できるようにはあまり見えない。
author="Byeong-Mo Chang and Jang-Wu Jo and Kwangkeun Yi and Kwang-Moo Choe",
title="{Interprocedural Exception Analysis for Java}",
booktitle="SAC 2001",
publisher="ACM Press",
pages="620--625",
year="2001"