Eliminating Array Bound Checking Through Dependent Types (1998)

Cached

Download Links

by Hongwei Xi , Frank Pfennig
Venue:In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation
Citations:169 - 24 self

Document Versions

Eliminating Array Bound Checking Through Dependent Types –Hongwei Xi, Frank Pfennig — 1998 — In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation
Eliminating Array Bound Checking Through Dependent Types –Hongwei Xi, Frank Pfenning — 1998 — In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation