8 search results - page 2 / 2 » A Fresh Look at Optimizing Array Bound Checking |
CL
2000
Springer
13 years 11 months ago
2000
Springer
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...
ICFP
2001
ACM
14 years 7 months ago
2001
ACM
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
CC
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...