480 search results - page 16 / 96 » Understanding the Behavior of Java Programs |
116
Voted
EUROPAR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
337
Voted
JTRES
2010
ACM
15 years 20 days ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
ENTCS
2007
15 years 12 days ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
126
Voted
ISORC
2006
IEEE
15 years 6 months ago
2006
IEEE
Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have alread...
128
click to vote
EMSOFT
2011
Springer
14 years 6 days ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...