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

DOI10.1007/3-540-45013-0_17zbMATH Open1278.68073OpenAlexW1822407663MaRDI QIDQ3079913FDOQ3079913

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

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

Mathematics Subject Classification ID

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

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

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)