1932 search results - page 3 / 387 » Molecule-oriented programming in Java |
JAVA
1999
Springer
14 years 24 days ago
1999
Springer
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. The Java memory model is hard to interp...
Book
"Inside the Java Virtual Machine explains Java's architecture and internals, and several Java APIs closely tied to the virtual machine, to Java programmers. Reading this ...
TACAS
2005
Springer
14 years 2 months ago
2005
Springer
We present a tool for finding errors in Java programs that translates Java bytecodes into symbolic pushdown systems, which are then checked by the Moped tool [1].
JAVA
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we present a platform independent analysis of the dynamic profiles of Java programs when executing on the Java Virtual Machine. The Java programs selected are taken...