A formal relationship between program slicing and partial evaluation

13 years 4 months ago

Download www.dcs.kcl.ac.uk

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 is semantically equivalent to a conditioned slice.

David Binkley, Sebastian Danicic, Mark Harman, Joh

Real-time Traffic

FAC 2006 | Formal Relationship | Partial Evaluation | Residual Program |

claim paper

» Source Code Modularization Using Lattice of Concept Slices

» The connection between two ways of reasoning about partial functions

» C Templates as Partial Evaluation

» Generating Transformers for Deforestation and Supercompilation

» A Statistical Approach for the Analysis of the Relation Between LowLevel Performance Infor...

» Simple relational correctness proofs for static analyses and program transformations

» An empirical framework for comparing effectiveness of testing and propertybased formal ana...

» Constraint programming for itemset mining

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	FAC
Authors	David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya

Comments (0)

Sciweavers

A formal relationship between program slicing and partial evaluation

FAC 2006 | Formal Relationship | Partial Evaluation | Residual Program |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers