-
좋은 코멘트 발견! > certified compiler > proof carrying code > typed assembly language http://kldp.org/node/87939#comment-416898