2000 search results - page 150 / 400 » Program Transformation and Proof Transformation |
118
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Chimera1 uses a new hybrid program analysis to provide deterministic replay for commodity multiprocessor systems. Chimera leverages the insight that it is easy to provide determin...
122
Voted
CSL
1998
Springer
15 years 7 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
128
Voted
ICPP
2005
IEEE
15 years 9 months ago
2005
IEEE
We show how a series of transformations can be applied to a sequential program to obtain programs that represent successive steps in exploiting parallelism in the original algorit...
127
Voted
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...
157
click to vote
PEPM
1992
ACM
15 years 7 months ago
1992
ACM
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...