1932 search results - page 84 / 387 » Molecule-oriented programming in Java |
88
Voted
IWPC
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
112
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
149
click to vote
SAC
2008
ACM
14 years 12 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
ASM
2010
ASM
15 years 9 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...