Efficient memory-reference checks for real-time java.

Angelo Corsaro Ron Cytron Efficient memory-reference checks for real-time java. 51-58 2003 conf/lctrts/2003 LCTES http://doi.acm.org/10.1145/780732.780740 db/conf/lctrts/lctes2003.html#CorsaroC03