Cost-augmented partial evaluation of functional logic programs

DOI10.1023/B:LISP.0000029447.02190.42MaRDI QIDQ1768472zbMATH OpenOpenAlexFDO

Authors Germán Vidal

Publication date 15 March 2005

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:lisp.0000029447.02190.42

zbMATH Keywords

computational costsfunctional logic programmingpartial evaluation

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1973220
• scientific article; zbMATH DE number 2032417
• Forward slicing of functional logic programs by partial evaluation
• Evaluation strategies for functional logic programming
• Evaluation strategies for functional logic programming
• A residualizing semantics for the partial evaluation of functional logic programs.
• A hybrid approach to conjunctive partial evaluation of logic programs
• scientific article; zbMATH DE number 1692896
• Partial evaluation in logic programming

Cited in

(3)

• A tensor decomposition algorithm for large ODEs with conservation laws
• Operational semantics for declarative multi-paradigm languages
• scientific article; zbMATH DE number 1973220 (Why is no real title available?)

Describes a project that uses

Uses Software

• BABEL
• Kernel-LEAF

This page was built for publication: Cost-augmented partial evaluation of functional logic programs

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