18 search results - page 1 / 4 » A formal relationship between program slicing and partial ev... |
93
Voted
FAC
2006
14 years 10 months ago
2006
A formal relationship between program slicing and partial evaluation is established. It is proved that for terminating programs, a residual program produced by partial evaluation i...
80
Voted
DAGSTUHL
1996
14 years 11 months ago
1996
This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is dif...
80
Voted
CSMR
2004
IEEE
15 years 2 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
96
Voted
IPL
2008
14 years 10 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
94
Voted
PEPM
1999
ACM
15 years 2 months ago
1999
ACM
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...