A. Brogi and S. Contiero. A program specialiser for meta-level compositions of logic programs. Technical Report TR-96-20, Dipartimento di Informatica, Universit`a di Pisa, Pisa, Italy, May 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
To Parse or Not To Parse - Vanhoof, Martens (1997) (9 citations) (Correct)
....unfolding parsing calls during partial deduction does not always lead to optimal results. Unfolding some of the parsing calls, however, seems appropriate. This leaves us with several open issues, to which we will briefly return in Section 5. 4 Specialising An Extended Vanilla Meta Interpreter In [5, 4], Brogi and Contiero discuss specialisation of the following extended vanilla meta interpreter, adapted here to our notation: demo(E; true) demo(E; A; B) demo(E; A) demo(E; B) demo(E; H) clause(E; H;B) demo(E; B) clause(union(E 1 ; E 2 ) H;B) clause(E 1 ; H;B) clause(union(E 1 ....
A. Brogi and S. Contiero. A program specialiser for meta-level compositions of logic programs. Technical Report TR-96-20, Dipartimento di Informatica, Universit`a di Pisa, Pisa, Italy, May 1996.
To Parse or Not To Parse - Vanhoof, Martens (1997) (9 citations) (Correct)
....unfolding parsing calls during partial deduction does not always lead to optimal results. Unfolding some of the parsing calls, however, seems appropriate. This leaves us with several open issues, to which we will briefly return in Section 5. 4 Specialising An Extended Vanilla Meta Interpreter In [7, 6], Brogi and Contiero discuss specialisation of the following extended vanilla meta interpreter, adapted here to our notation: demo(E; true) demo(E; A; B) demo(E; A) demo(E;B) demo(E; H) clause(E; H; B) demo(E; B) clause(union(E 1 ; E 2 ) H; B) clause(E 1 ; H; B) clause(union(E ....
A. Brogi and S. Contiero. A program specialiser for meta-level compositions of logic programs. Technical Report TR-96-20, Dipartimento di Informatica, Universit`a di Pisa, Pisa, Italy, May 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC