What not to do when writing an interpreter for specialisation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1110, Issue , 1996, Pages 216-237

  Jones, Neil D ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EFFICIENCY;

APPLICATION AREA; BLACK BOXES; INPUT DATAS; NEGATIVE EXAMPLES; PROBLEM ANALYSIS; RESIDUAL PROGRAMS; SPECIALISATION; STATIC DATUM;

PROGRAM INTERPRETERS;

EID: 84957705791     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61580-6_11     Document Type: Conference Paper

References (13)

1. A. Bondorf and 0. Danvy, 'Automatic autoprojection of recursive equations with global variables and abstract data types,' Science of Computer Programming, 16:151-195, 1991.
2. C. Consel, 'New insights into partial evaluation: The Schism experiment,' in H. Ganzinger (ed.), ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 1988 (Lecture Notes in Computer Science, vol. 300), pp. 236-246, Berlin: Springer-Verlag, 1988.
3. , pp. 90-97, Rennes: IRISA, 1991.
4. J. Gallagher: Specialization of logic programs. PEPM 93 (Partial Evaluation and Semantics-based Program Manipulation), pp. 88-98. ACM Press, 1993.
5. N.D. Jones, A.G. Genstrup BTA Algorithms to ensure termination of offline partial evaluation,' submitted to Second Andrei Ershov Memorial Conference, Akademgorodok, Russia, June 1996.
6. Neil D. Jones, C.K. Gomard, P. Sestoft, Partial Evaluation and Automatic Program Generation, Prentice Hall International Series in Computer Science, 1993.
7. J.W. Lloyd, J.C. Shepherdson, 'Partial evaluation in logic programming,' Journal of Logic Programming 11(3-4), pp. 217-242, 1991.
8. T. Mogensen, 'Partially static structures in a self-applicable partial evaluator,' in D. Bjorner, A.P. Ershov, and N.D. Jones (eds.), Partial Evaluation and Mixed Computation, pp. 325-347, Amsterdam: North-Holland, 1988.
9. T. Mogensen, 'Separating binding times in language specifications,' in Fourth International Conference on Functional Programming Languages and Computer Architecture, London, England, September 1989, pp. 14-25, Reading, MA: Addison-Wesley, 1989.
10. D. Sahlin, 'The Mixtus approach to automatic partial evaluation of full Prolog,' in S. Debray and M. Hermenegildo (eds.), Logic Programming: Proceedings of the 1990 North American Conference, Austin, Texas, October 1990, pp. 377-398, Cambridge, MA: MIT Press, 1990.
11. D.A. Schmidt, Denotational Semantics, Boston, MA: Allyn and Bacon, 1986.
12. V.F. Turchin, 'The concept of a supercompiler,' ACM Transactions on Programming Languages and Systems, 8(3):292-325, July 1986.
13. D. Weise, R. Conybeare, E. Ruf, and S. Seligman, 'Automatic online partial evaluation,' in J. Hughes (ed.), Functional Programming Languages and Computer Architecture, Cambridge, Massachusetts, August 1991 (Lecture Notes in Computer Science, vol. 523), pp. 165-191, Berlin: Springer-Verlag, 1991.