Forward slicing of functional logic programs by partial evaluation

DOI10.1017/S1471068406002870zbMath1112.68024MaRDI QIDQ3430670

Germán Vidal, Josep Silva

Publication date: 23 March 2007

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

zbMATH Keywords

partial evaluationfunctional logic programmingCurryforward slicing

Mathematics Subject Classification ID

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

Uses Software

• BABEL
• ECCE
• TOY
• Hat

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