论文信息 - The Limitations of Partial Evaluation - 字舞流文

The Limitations of Partial Evaluation

Frank van Harmelen | F. V. Harmelen

[1] Stephen Owen,et al. Issues in the Partial Evaluation of Meta-Interpreters , 1989, META.

[2] Mark Wallace,et al. A Treatment of Negation during Partial Evaluation , 1989, META.

[3] Alan Bundy,et al. Explanation-Based Generalisation = Partial Evaluation , 1988, Artif. Intell..

[4] Ehud Shapiro,et al. Meta interpreters for real , 1988 .

[5] Michael Beetz,et al. Specifying Meta-Level Architectures for Rule-Based Systems , 1987, GWAI.

[6] Jack Mostow,et al. PROLEARN: Towards a Prolog Interpreter that Learns , 1987, AAAI.

[7] John P. Gallagher,et al. Transforming Logic Programs by Specialising Interpreters , 1986, ECAI.

[8] Bruce G. Buchanan,et al. Heuristic Programming Project , 1986 .

[9] Akikazu Takeuchi,et al. Partial Evaluation of Prolog Programs and its Application to Meta Programming , 1986, IFIP Congress.

[10] Leon Sterling,et al. Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction , 1986, SLP.

[11] Raf Venken. A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation , 1984, ECAI.

[12] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.

[13] Sten-Åke Tärnlund,et al. Horn clause computability , 1977, BIT.

[14] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .