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

Documents Related by Co-Citation

290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1097 Proof-Carrying Code – George C. Necula - 1997
271 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
73 Optimizing array bound checks using flow analysis – Rajiv Gupta - 1993
61 Elimination of Redundant Array Subscript Range Checks – Priyadarshan Kolte, Michael Wolfe - 1995
60 A fresh look at optimizing array bound checking – Rajiv Gupta - 1990
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
84 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002
46 Optimization of range checking – Victoria Markstein, John Cocke, Peter Markstein - 1982
154 Static Detection of Dynamic Memory Errors – David Evans - 1996
19 Kiyoshi Ishihata. Implementation of an array bound checker – Norihisa Suzuki - 1977
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
1073 F.: The Java Virtual Machine Specification – T Lindholm, Yellin - 1999
177 A type system for Java bytecode subroutines – Raymie Stata, Martín Abadi - 1998
155 TALx86: A Realistic Typed Assembly Language – Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic - 1999