A formal relationship between program slicing and partial evaluation

DOI10.1007/S00165-005-0077-6zbMATH Open1102.68442OpenAlexW1982703446MaRDI QIDQ2432231FDOQ2432231

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

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

zbMATH Keywords

partial evaluationconditioned program slicing

Mathematics Subject Classification ID

Theory of software (68N99)

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

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)