1100 search results - page 40 / 220 » Instrumenting annotated programs |
130
click to vote
SAS
2001
Springer
15 years 6 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
152
click to vote
PVLDB
2008
15 years 1 months ago
2008
We propose EndoScope, a software monitoring framework that allows users to pose declarative queries that monitor the state and performance of running programs. Unlike most existin...
143
click to vote
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
OOPSLA
1992
Springer
15 years 6 months ago
1992
Springer
JAC is a Java extension for high-level concurrent programming, meant to hide the notions of threads and synchronization statements from the programmer. Putting into practice the c...
123
click to vote
GRID
2003
Springer
15 years 7 months ago
2003
Springer
With the advent of web services standards and a serviceoriented Grid architecture, it is foreseeable that competing as well as complimenting computational services will proliferat...