POPL
1998
ACM
14 years 3 months ago
1998
ACM
POPL
1998
ACM
14 years 3 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
POPL
1998
ACM
14 years 3 months ago
1998
ACM
POPL
1998
ACM
14 years 3 months ago
1998
ACM
Memory expansions are classical means to extract parallelism from imperative programs. However, for dynamic control programs with general memory accesses, such transformations eit...