5343 search results - page 64 / 1069 » Keyword programming in java |
ECOOP
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
CAV
2006
Springer
14 years 23 days ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
COMPSAC
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
INFSOF
2002
13 years 8 months ago
2002
Molecule-oriented programming is introduced as a programming style carrying some perspective for Java. A sequence of examples is provided. Supporting the development of the molecu...