컴파일러 검증을 위한 몇 가지 기법

좋은 코멘트 발견!

> certified compiler
> proof carrying code
> typed assembly language 

http://kldp.org/node/87939#comment-416898