1932 search results - page 121 / 387 » Molecule-oriented programming in Java |
97
Voted
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
103
click to vote
ECOOP
2007
Springer
15 years 4 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
104
click to vote
JTRES
2010
ACM
15 years 25 days ago
2010
ACM
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
122
Voted
CACM
2010
14 years 10 months ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
116
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
64-bit address spaces come at the price of pointers requiring twice as much memory as 32-bit address spaces, resulting in increased memory usage. Increased memory usage is especia...