Open AccessThe design and implementation of a certifying compiler
Author(s) -
George C. Necula,
Peter Lee
Publication year - 2004
Publication title -
acm sigplan notices
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.31
H-Index - 99
eISSN - 1558-1160
pISSN - 0362-1340
DOI - 10.1145/989393.989454
Subject(s) - compiler , computer science , compiler correctness , interprocedural optimization , programming language , correctness , optimizing compiler , dead code elimination , compiler construction , mathematical proof , assembly language , code generation , parallel computing , loop optimization , operating system , object code , key (lock) , software , geometry , mathematics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom