O. Danvy, R. Gluck, and P. Thiemann, editors. Partial Evaluation. International Seminar, Dagstuhl Castle, Germany, February 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Derivation of Efficient Logic Programs by.. - Pettorossi, Proietti, .. (2001) (Correct)
....and parsers for regular languages. The derivations we have performed could not have been done by previously known partial evaluation techniques. 1 Introduction The goal of program specialization [20] is the adaptation of a generic program to a speci c context of use. Partial evaluation [7, 20] is a well established technique for program specialization which from a program and its static input (that is, the portion of the input which is known at compile time) allows us to derive a new, more ecient program in which the portion of the output which depends on the static input, has already ....
O. Danvy, R. Gluck, and P. Thiemann, editors. Partial Evaluation. International Seminar, Dagstuhl Castle, Germany, February 1996.
Towards a Logic for Reasoning about Logic Programs.. - Momigliano, Ornaghi (Correct)
....is the complement of the union of success and atoms with infinite trees. ut 4 Partial Deduction We are now in the position of giving an abstract and very high level view of Partial Deduction (PD) 5, 6, 7, 8] thanks to our framework. Note that we shall not be concerned with the pragmatics of PD [13, 11, 2] like unfolding rules, loop detection et cetera: those issues can be dealt with as usual. We will express PD be via the converse of the clause application rule, called clause introduction and indicated by ci. The rule discharges the (u th occurrence (s) of the set of) assumption(s) B. B u Pi C C ....
Danvy, O., Gluck, R., Thiemann, P., (eds.): Partial Evaluation. International Seminar. Dagstuhl Castle, Germany, February 12-16. Selected Papers. LNCS 1110. Springer Verlag (1996)
Derivation of Efficient Logic Programs by.. - Pettorossi, Proietti, .. (2002) (Correct)
....parsers for regular languages. The derivations we have performed could not have been done by previously known partial evaluation techniques. 1 Introduction The goal of program specialization [15] is the adaptation of a generic program to a speci c context of use. Partial evaluation [4, 15] is a well established technique for program specialization which from a program and its static input (that is, the portion of the input which is known at compile time) allows us to derive a new, more ecient program in which the portion of the output which depends on the static input, has already ....
O. Danvy, R. Gluck, and P. Thiemann, editors. Partial Evaluation. International Seminar, Dagstuhl Castle, Germany, February
Domain-Specific Languages: from Design to Implementation .. - Thibault, Marlet, Consel (1999) (3 citations) (Correct)
No context found.
O. Danvy, R. Gluck, and P. Thiemann, editors. Partial Evaluation, International Seminar, Dagstuhl Castle, number 1110 in LNCS, February 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