Eliminating array bound checking through dependent types

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

Volumn , Issue , 1998, Pages 249-257

  Xi, Hongwei ^a   Pfenning, Frank ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER SYSTEMS PROGRAMMING; ERROR ANALYSIS;

ARRAY BOUND CHECKING;

PROGRAM COMPILERS;

EID: 0031643965     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/277650.277732     Document Type: Conference Paper

References (24)