4 search results - page 1 / 1 » Precision in Practice: A Type-Preserving Java Compiler |
CC
2003
Springer
13 years 9 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
OOPSLA
2001
Springer
13 years 8 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
SCAM
2008
IEEE
13 years 10 months ago
2008
IEEE
Points-to analysis is a fundamental analysis technique whose results are useful in compiler optimization and software engineering tools. Although many points-to analysis algorithm...
OOPSLA
2009
Springer
13 years 11 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...