Analysis of residuating logic programs

DOI10.1016/0743-1066(94)00105-FMaRDI QIDQ3125900zbMATH OpenFDO

Authors Michael Hanus

Publication date 20 March 1997

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(94)00105-F

zbMATH Keywords

residuationlogic programming languages

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A residualizing semantics for the partial evaluation of functional logic programs.
• scientific article; zbMATH DE number 1844513
• Semantics of (disjunctive) logic programs based on partial evaluation
• Abstract interpretation and application to logic programs

Cited in

(3)

• From Logic to Functional Logic Programs
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Functional Logic Programming: From Theory to Curry

This page was built for publication: Analysis of residuating logic programs

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