A formal relationship between program slicing and partial evaluation

DOI10.1007/S00165-005-0077-6MaRDI QIDQ2432231zbMATH OpenOpenAlexFDO

Authors David W. Binkley, Sebastian Danicic, Mark Harman, Lahcen Ouarbya, J. D. Howroyd

Publication date 25 October 2006

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-005-0077-6

zbMATH Keywords

partial evaluationconditioned program slicing

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• A formalisation of the relationship between forms of program slicing
• Forward slicing of multi-paradigm declarative programs based on partial evaluation
• Program Slicing
• Forward slicing of functional logic programs by partial evaluation
• A trajectory-based strict semantics for program slicing

Cited in

(2)

• A formalisation of the relationship between forms of program slicing
• A unifying theory of control dependence and its application to arbitrary program structures

Describes a project that uses

Uses Software

• Consit

This page was built for publication: A formal relationship between program slicing and partial evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2432231)