4722 search results - page 147 / 945 » Encoding Program Executions |
128
click to vote
CSMR
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we present a new instrumentation approach to reverse engineer a given software application. Our approach is based on aspect-oriented programming and provides support...
152
click to vote
SLP
1994
15 years 6 months ago
1994
Most of the research, to date, on optimizing program transformations for declarative languages has focused on sequential execution strategies. In this paper, we consider a class o...
156
click to vote
ADAEUROPE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms’ worst-case execution time is exponential, they...
118
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
162
click to vote
APSEC
1996
IEEE
15 years 9 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...