9626 search results - page 390 / 1926 » Invariant Based Programming |
180
click to vote
SAS
1991
Springer
15 years 10 months ago
1991
Springer
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
162
Voted
PASTE
2010
ACM
15 years 5 months ago
2010
ACM
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...
153
click to vote
OOPSLA
2007
Springer
16 years 26 days ago
2007
Springer
A dynamic language improves programmer productivity through flexible typing, a focus on high-level programming, and by streamlining the edit-compile-debug cycle. Live languages g...
167
click to vote
PPOPP
2003
ACM
15 years 12 months ago
2003
ACM
Collecting a program’s execution profile is important for many reasons: code optimization, memory layout, program debugging and program comprehension. Path based execution pro...
193
click to vote
NMELP
1994
15 years 10 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...