1210 search results - page 33 / 242 » Formal Techniques for Java Programs |
122
click to vote
POPL
1999
ACM
15 years 6 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
104
click to vote
LCPC
1999
Springer
15 years 6 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
149
Voted
SAS
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
PPPJ
2004
ACM
15 years 7 months ago
2004
ACM
To enable analysis and visualization of phased behavior in Java programs and to facilitate optimization development, we have implemented a freely-available, phase analysis framewo...
101
click to vote
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Concept location is one of the fundamental activities during software maintenance which locates the parts of the source code where a specific concept is implemented. The methods f...