Towards efficient partial evaluation in logic programming

Simple item page
dc.contributor.authorFuller, DA
dc.contributor.authorBocic, SA
dc.contributor.authorBertossi, LE
dc.date.accessioned2025-01-21T01:34:17Z
dc.date.available2025-01-21T01:34:17Z
dc.date.issued1996
dc.description.abstractPartial evaluation is a symbolic manipulation technique used to produce efficient algorithms when part of the input to the algorithm is known. Other applications of partial evaluators such as universal compilation and compiler generation are also known to be possible. A partial evaluator receives as input a program and partially known input to that program, and outputs a residual program which should run at least as efficient as the input program with restricted input.
dc.description.abstractIn this paper we study the case where both the input and residual programs are logic programs, being the partial evaluator itself a logic program. Up to now, partial evaluators have failed to process large ''non-toy'' examples. Here we present extensions to partial evaluators which will allow us to produce more efficient residual programs using less computing resources during partial evaluation.
dc.description.abstractFirst, the introduced extensions allow the processing of large examples, which is not possible with the previous techniques. This is now possible since the extensions use less CPU time and memory consumption during the partial evaluation process. Second, the extended partial evaluator produces smaller residual programs, producing important CPU time optimizing effects. With the standard techniques, a partial evaluator will most probably act as a pessimizer, not as an optimizer. Examples are given.
dc.fuente.origenWOS
dc.identifier.issn0288-3635
dc.identifier.urihttps://repositorio.uc.cl/handle/11534/97539
dc.identifier.wosidWOS:A1996UG61900006
dc.issue.numero2
dc.language.isoen
dc.pagina.final259
dc.pagina.inicio237
dc.revistaNew generation computing
dc.rightsacceso restringido
dc.subjectpartial evaluation
dc.subjectlogic programming
dc.subjectsymbolic manipulation
dc.subjectprogram optimization
dc.titleTowards efficient partial evaluation in logic programming
dc.typeartículo
dc.volumen14
sipa.indexWOS
sipa.trazabilidadWOS;2025-01-12
Files
Collections
Artículos de revistas