1210 search results - page 31 / 242 » Formal Techniques for Java Programs |
127
click to vote
APLAS
2001
ACM
15 years 5 months ago
2001
ACM
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
116
click to vote
HPCN
2000
Springer
15 years 5 months ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
140
click to vote
ECOOP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
131
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
134
click to vote
SEKE
2001
Springer
15 years 6 months ago
2001
Springer
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...