のちに彼は統一モデリング言語(uml)のための仮想マシンを書いた。