The design and implementation of a certifying compiler
Necula, George C., Lee, PeterVolume:
39
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/989393.989454
Date:
April, 2004
File:
PDF, 2.02 MB
english, 2004