Cost-augmented partial evaluation of functional logic programs

DOI10.1023/B:LISP.0000029447.02190.42zbMath1075.68010OpenAlexW2049184691MaRDI QIDQ1768472

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

partial evaluationcomputational costsfunctional logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Operational semantics for declarative multi-paradigm languages ⋮ A tensor decomposition algorithm for large ODEs with conservation laws

Uses Software

• BABEL
• Kernel-LEAF

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