後で考える:Object Factoryと動的なobject指向言語

c++Rubyインタプリタを書くことを考えると、コンパイルと実行の2つのフェーズで、SSAな実行と普通の動的言語の実行に分かれる。
それぞれについて最適な形式的定義と証明のプロセスを考える意味とは。
...とかいうことを考えていた。