8068 search results - page 71 / 1614 » Java Data Objects |
SOFTVIS
2010
ACM
13 years 11 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
FASE
2010
Springer
14 years 5 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
IPPS
2003
IEEE
14 years 4 months ago
2003
IEEE
Remote method invocation in Java RMI allows the flow of control to pass across local Java threads and thereby span multiple virtual machines. However, the resulting distributed t...
ACTA
2002
13 years 11 months ago
2002
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requ...
WCRE
1999
IEEE
14 years 3 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...