1210 search results - page 52 / 242 » Formal Techniques for Java Programs |
109
click to vote
SCM
1998
15 years 3 months ago
1998
As part of an investigation of scalable development techniques for systems written in the JavaTM programming language, the Forest Project is building JP, a prototype distributed pr...
131
click to vote
PPOPP
2003
ACM
15 years 7 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
115
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
115
click to vote
APLAS
2008
ACM
15 years 4 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
138
click to vote
KRDB
2003
15 years 3 months ago
2003
The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set...