Trace Analysis for Predicting the Effectiveness of Partial Evaluation

Vidal, Germán

doi:10.1007/978-3-540-89982-2_78

Cited by 1 publication

(1 citation statement)

References 4 publications

(6 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…More research is needed to develop models capable of predicting the performance of a relation which can be used in specialization of MINIKANREN. There are some papers which estimate the efficiency of partial evaluation in the context of logic and functional logic programming languages [34,35], and may facilitate achieving this goal. Employing a combination of offline and online transformations as done in [36] may also be the step towards more effective and predictable partial evaluation.…”

Section: Discussionmentioning

confidence: 99%

An Empirical Study of Partial Deduction for miniKanren

Вербицкая¹,

Berezun²,

Boulytchev³

2021

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

We study conjunctive partial deduction, an advanced specialization technique aimed at improving the performance of logic programs, in the context of relational programming language MINIKANREN. We identify a number of issues, caused by MINIKANREN peculiarities, and describe a novel approach to specialization based on partial deduction and supercompilation. The results of the evaluation demonstrate successful specialization of relational interpreters. Although the project is at an early stage, we consider it as the first step towards an efficient optimization framework for MINIKANREN.1. Term unification t 1 ≡ t 2 computes the most-general unification in the context of the current substitution. If it succeeds, the unifier is added into the current substitution and then it is returned as a singleton stream. Otherwise, an empty stream is returned.

show abstract

Section: Discussionmentioning

confidence: 99%