183 search results - page 11 / 37 » Mostly-Functional Behavior in Java Programs |
TOOLS
2000
IEEE
15 years 4 months ago
2000
IEEE
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...
103
Voted
ECAI
2004
Springer
15 years 5 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...
148
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...
110
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Accurately predicting program behaviors (e.g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of...
123
click to vote
CATA
2003
15 years 1 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...