Design and implementation of a certifying compiler

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 1998, Pages 333-344

  Necula, George C ^a   Lee, Peter ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); OPTIMIZATION; PROGRAM ASSEMBLERS; PROGRAM DEBUGGING; PROGRAM TRANSLATORS; RESPONSE TIME (COMPUTER SYSTEMS); STORAGE ALLOCATION (COMPUTER);

CERTIFYING COMPILERS; FORMAL COMPILER VERIFICATIONS;

PROGRAM COMPILERS;

EID: 0031632699     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/277650.277752     Document Type: Conference Paper

References (24)