1210 search results - page 50 / 242 » Formal Techniques for Java Programs |
139
click to vote
EUROPAR
2008
Springer
15 years 4 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...
116
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
103
click to vote
ENTCS
2006
15 years 2 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
141
Voted
CATA
2003
15 years 3 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
112
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...