论文信息 - Determinacy analysis for full Prolog - 字舞流文

Determinacy analysis for full Prolog

[1] Dan Sahlin,et al. The Mixtus Approach to Automatic Partial Evaluation of Full Prolog , 1990, NACLP.

[2] Henryk Jan Komorowski,et al. A specification of an abstract Prolog machine and its application to partial evaluation , 1981 .

[3] Michele Bugliesi,et al. Partial Evaluation in Prolog: Some Improvements about Cut , 1989, NACLP.

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

[5] Chris Mellish,et al. Some Global Optimizations for a Prolog Compiler , 1985, J. Log. Program..

[6] Chris Mellish,et al. Abstract Interpretation of Prolog Programs , 1986, ICLP.

[7] Leon Sterling,et al. ProMiX: a Prolog partial evaluation system , 1990 .