Forward slicing of functional logic programs by partial evaluation

DOI10.1017/S1471068406002870MaRDI QIDQ3430670zbMATH OpenFDO

Authors Josep Silva, Germán Vidal

Publication date 23 March 2007

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1471068406002870

zbMATH Keywords

Curryforward slicingfunctional logic programmingpartial evaluation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Forward slicing of multi-paradigm declarative programs based on partial evaluation
• Programming Languages and Systems
• A backward slicing algorithm for Prolog
• Static slicing of rewrite systems
• Static and dynamic slicing of constraint logic programs

Cited in

(5)

• Cost-augmented partial evaluation of functional logic programs
• A formal relationship between program slicing and partial evaluation
• Static slicing of rewrite systems
• Forward slicing of multi-paradigm declarative programs based on partial evaluation
• Programming Languages and Systems

Describes a project that uses

Uses Software

• BABEL
• ECCE
• TOY
• Hat

This page was built for publication: Forward slicing of functional logic programs by partial evaluation

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