hagnod@tistory.com
좋은 코멘트 발견! > certified compiler > proof carrying code > typed assembly language http://kldp.org/node/87939#comment-416898
* 단축키는 한글/영문 대소문자로 이용 가능하며, 티스토리 기본 도메인에서만 동작합니다.