The algorithm SPECTRE specializes logic programs with respect to positive
and negative examples by applying the transformation rule unfolding
together with clause removal. The method IMPUT presented in this
paper gives a modified version of this algorithm by integrating the
algorithmic debugging system IDTS with SPECTRE. The main idea of
the IMPUT method, is that the identification of a clause to be unfolded
has a crucial importance on the effectiveness of the specialization
process. The debugging system IDTS is used to identify this buggy
clause.
%0 Journal Article
%1 Alexin
%A Alexin, Zolt�n
%A Gyim�thy, Tibor
%A Bostr�m, Henrik
%D 1997
%J Intelligent Data Analysis IDA
%K logic program
%N 4
%T IMPUT: An Interactive Learning Tool Based on Program Specialization
%U http://www-east.elsevier.com/ida/browse/0104/ida00015/ida00015.htm
%V 1
%X The algorithm SPECTRE specializes logic programs with respect to positive
and negative examples by applying the transformation rule unfolding
together with clause removal. The method IMPUT presented in this
paper gives a modified version of this algorithm by integrating the
algorithmic debugging system IDTS with SPECTRE. The main idea of
the IMPUT method, is that the identification of a clause to be unfolded
has a crucial importance on the effectiveness of the specialization
process. The debugging system IDTS is used to identify this buggy
clause.
@article{Alexin,
abstract = {The algorithm SPECTRE specializes logic programs with respect to positive
and negative examples by applying the transformation rule unfolding
together with clause removal. The method IMPUT presented in this
paper gives a modified version of this algorithm by integrating the
algorithmic debugging system IDTS with SPECTRE. The main idea of
the IMPUT method, is that the identification of a clause to be unfolded
has a crucial importance on the effectiveness of the specialization
process. The debugging system IDTS is used to identify this buggy
clause.},
added-at = {2009-05-10T18:36:57.000+0200},
author = {Alexin, Zolt�n and Gyim�thy, Tibor and Bostr�m, Henrik},
biburl = {https://www.bibsonomy.org/bibtex/26fcedef949a0980891b4b17625431c93/dparigot},
description = {Attribute Grammar},
interhash = {a40d1e68586e6a653e7bf3b244ebf766},
intrahash = {6fcedef949a0980891b4b17625431c93},
journal = {Intelligent Data Analysis IDA},
keywords = {logic program},
month = {October},
note = {published by Elsevier Science Inc},
number = 4,
timestamp = {2009-05-10T18:36:58.000+0200},
title = {{IMPUT}: An Interactive Learning Tool Based on Program Specialization},
url = {http://www-east.elsevier.com/ida/browse/0104/ida00015/ida00015.htm},
volume = 1,
year = 1997
}