A Formal Approa h to Reasoning about theE e tiveness of Partial

[1]  Corrado Moiso,et al.  Kernel-LEAF: A Logic plus Functional Language , 1991, J. Comput. Syst. Sci..

[2]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[3]  Peter Sestoft,et al.  Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.

[4]  David Sands,et al.  A Naïve Time Analysis and its Theory of Cost Equivalence , 1995, J. Log. Comput..

[5]  Mads Rosendahl,et al.  Automatic complexity analysis , 1989, FPCA.

[6]  Olivier Danvy,et al.  Tutorial notes on partial evaluation , 1993, POPL '93.

[7]  Yanhong A. Liu,et al.  Automatic Accurate Time-Bound Analysis for High-Level Languages , 1998, LCTES.

[8]  Michael Hanus,et al.  The Integration of Functions into Logic Programming: From Theory to Practice , 1994, J. Log. Program..

[9]  A. P. Ershov,et al.  A Formal Type System for Comparing Partial Evaluators , 1988 .

[10]  FunctionalLanguagesPATRICK M. Sansom,et al.  Formally Based Pro ling for Higher-Order , 1997 .

[11]  Germán Vidal,et al.  Using an Abstract Representation to Specialize Functional Logic Programs , 2000, LPAR.

[12]  John P. Gallagher,et al.  Tutorial on specialisation of logic programs , 1993, PEPM '93.

[13]  Saumya K. Debray,et al.  Cost analysis of logic programs , 1993, TOPL.

[14]  Jean-Jacques Lévy,et al.  Computations in Orthogonal Rewriting Systems, II , 1991, Computational Logic - Essays in Honor of Alan Robinson.

[15]  Laura Lafave,et al.  A constraint-based partial evaluator for functional logic programs and its application , 1998 .

[16]  Tobias Nipkow,et al.  Term rewriting and all that , 1998 .

[17]  Carsten K. Gomard,et al.  Speedup Analysis in Partial Evaluation: Preliminary Results , 1992, PEPM.

[18]  Rachid Echahed,et al.  A needed narrowing strategy , 2000, JACM.

[19]  Neil D. Jones,et al.  Partial Evaluation, Self-Application and Types , 1990, ICALP.

[20]  John W. Lloyd,et al.  Partial Evaluation in Logic Programming , 1991, J. Log. Program..

[21]  Torben Amtoft Hansen.  Properties of Unfolding-based Meta-level Systems , 1991 .