651 search results - page 63 / 131 » Precise Analysis of Java Programs Using JOANA |
109
click to vote
POPL
1998
ACM
15 years 6 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...
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps develope...
106
click to vote
JSA
2006
15 years 2 months ago
2006
Interprocedural data flow analyses of executable programs suffer from the conservative assumptions that need to be made because no precise control flow graph is available and beca...
120
click to vote
SIGSOFT
1998
ACM
15 years 6 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...
125
click to vote
LCTRTS
1999
Springer
15 years 6 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...