A formal relationship between program slicing and partial evaluation

Binkley, Dave; Danicic, Sebastian; Harman, Mark; Howroyd, John; and Ouarbya, Lahcen. 2006. A formal relationship between program slicing and partial evaluation. Formal Aspects of Computing, 18(2), pp. 103-119. ISSN 09345043 [Article]
Copy

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.

Full text not available from this repository.

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads