BTA Algorithms to ensure termination of off-line partial evaluation

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

Volumn 1181, Issue , 1996, Pages 273-284

  Glenstrup, Arne J ^a   Jones, Neil D ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

BINDING TIME ANALYSIS; BLACK BOXES; INPUT DATAS; PARTIAL DEDUCTION; PARTIAL EVALUATION; RESIDUAL PROGRAMS; STATIC DATUM;

ARTIFICIAL INTELLIGENCE;

EID: 84955602068     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62064-8_23     Document Type: Conference Paper

References (11)

1. A.V. Aho, J.E. Hopcroft and J.D. Ullman, 'The design and analysis of computer algorithms' Addison-Wesley, 1975.
2. P.H. Andersen and N.C.K. Holst, Private communication.
3. A.P. Ershov, 'Mixed computation: potential applications and problems for study.' Theoretical Computer Science, 18:41-67, 1982.
4. N.C.K. Holst, 'Finiteness analysis,' in J. Hughes (ed.), FPCA, (Lecture Notes in Computer Science, vol. 523), Berlin: Springer-Verlag, 1991.
5. N.D. Jones, 'Automatic program specialization: a re-examination from basic principles,' in D. Bjørner, A.P. Ershov, and N.D. Jones (eds.), Partial Evaluation and Mixed Computation, pp. 225-282, Amsterdam: North-Holland, 1988.
6. N.D. Jones, Carsten Gomard and Peter Sestoft, 'Partial evaluation and Automatic program generation,' Prentice Hall International, June 1993.
7. N.D. Jones, 'What not to do when writing an interpreter for specialisation,' in O. Danvy, R. Glück, and P. Thiemann (eds.), Partial Evaluation. Proceedings, Springer-Verlag, Lecture Notes in Computer Science, to appear, 1996.
8. G. Kahn, 'Natural semantics,' in F.J. Brandenburg et. al. (eds.), STACS 87. (Lecture Notes in Computer Science, vol. 247).
9. M. Leuschel and B. Martens, 'Global control for partial deduction through characteristic atoms and global trees,' in O. Danvy, R. Glück, and P. Thiemann (eds.), Partial Evaluation. Proceedings, Springer-Verlag, Lecture Notes in Computer Science, to appear, 1996.
10. J.W. Lloyd and J.C. Shepherdson, 'Partial evaluation in logic programming,' Journal of Logic Programming, 11:217-242, 1991.
11. B. Martens and J. Gallagher, 'Ensuring Global Termination of Partial Deduction While Allowing Flexible Poly variance,' in L. Sterling (ed.), ICLP'95, Twelfth International Conference on Logic Programming, pp. 597-611 MIT Press, 1995