Proof-carrying code

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1997, Pages 106-119

  Necula, George C ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE; ELECTRIC FILTERS; HIGH LEVEL LANGUAGES; STANDARDS;

PACKET FILTERS; PROOF CARRYING CODE; SAFETY PROOFS;

CODES (SYMBOLS);

EID: 0030685617     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/263699.263712     Document Type: Conference Paper

References (16)