Forward slicing of multi-paradigm declarative programs based on partial evaluation

DOI10.1007/3-540-45013-0_17MaRDI QIDQ3079913zbMATH OpenOpenAlexFDO

Authors Germán Vidal

Publication date 4 March 2011

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45013-0_17

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Forward slicing of functional logic programs by partial evaluation
• Programming Languages and Systems
• Program Slicing
• Static and dynamic slicing of constraint logic programs
• Static slicing of rewrite systems

Cited in

(5)

• A formal relationship between program slicing and partial evaluation
• Fast narrowing-driven partial evaluation for inductively sequential programs
• Static slicing of rewrite systems
• Programming Languages and Systems
• Forward slicing of functional logic programs by partial evaluation

Describes a project that uses

Uses Software

• ECCE

This page was built for publication: Forward slicing of multi-paradigm declarative programs based on partial evaluation

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