Reporting failures in functional logic programs

DOI10.1016/J.ENTCS.2007.01.002MaRDI QIDQ2873788zbMATH OpenOpenAlexFDO

Authors Michael Hanus

Publication date 24 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.01.002

zbMATH Keywords

debuggingfunctional logic programmingimplementation

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20)

Recommendations

• Failure and equality in functional logic programming
• Functional logic programming with failure: a set-oriented view
• scientific article; zbMATH DE number 1942461
• A proof theoretic approach to failure in functional logic programming
• scientific article; zbMATH DE number 1696795

Cites work

• A needed narrowing strategy
• A Program Transformation for Tracing Functional Logic Computations
• A Virtual Machine for Functional Logic Computations
• scientific article; zbMATH DE number 1630028 (Why is no real title available?)
• scientific article; zbMATH DE number 1691462 (Why is no real title available?)
• scientific article; zbMATH DE number 1696589 (Why is no real title available?)
• scientific article; zbMATH DE number 5007864 (Why is no real title available?)
• scientific article; zbMATH DE number 512892 (Why is no real title available?)
• scientific article; zbMATH DE number 1942452 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 788036 (Why is no real title available?)
• scientific article; zbMATH DE number 826303 (Why is no real title available?)
• Operational semantics for declarative multi-paradigm languages
• The integration of functions into logic programming: From theory to practice

Cited in

(4)

• Failure and equality in functional logic programming
• Functional logic programming with failure: a set-oriented view
• scientific article; zbMATH DE number 3907744 (Why is no real title available?)
• A proof theoretic approach to failure in functional logic programming

Describes a project that uses

Uses Software

• Haskell
• Curry
• TOY
• Freja
• Hat
• Hood
• PAKCS

This page was built for publication: Reporting failures in functional logic programs

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