794 search results - page 39 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
SCCC
1998
IEEE
14 years 1 months ago
1998
IEEE
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
EUROPAR
2008
Springer
13 years 10 months ago
2008
Springer
Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., faul...
ECOOP
2008
Springer
13 years 10 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
ECOOP
2004
Springer
14 years 2 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...
TOOLS
2010
IEEE
14 years 1 months ago
2010
IEEE
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically t...