5 search results - page 1 / 1 » Unified Analysis of Array and Object References in Strongly ... |
SAS
2000
Springer
13 years 8 months ago
2000
Springer
POS
1998
Springer
13 years 9 months ago
1998
Springer
Swizzling refers to the translation of object references from an external, persistent format to an internal, transient format used during application execution. Eager swizzling sc...
APLAS
2006
ACM
13 years 11 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
CODES
2007
IEEE
13 years 11 months ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
DLS
2005
13 years 7 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...