2013-06-19から1日間の記事一覧

Centralization と ClassLoader

Centralization とは, 複数プロセスが協調して動くアプリケーションをモデル検査にかけたいときに, それぞれのプロセスを1スレッドとして1つのアプリケーションに押しこむことで, 検証可能にする技法のこと. 当然ながら内部実装が見えているときに限る. 例え…