On Jones-Optimal Specialization for Strongly Typed Languages

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

Volumn 1924, Issue , 2000, Pages 129-148

  Makholm, Henning ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; PROGRAM INTERPRETERS; SEMANTICS;

COMPLEX DATA; ENCODINGS; OPTIMALITY; POST PROCESS; PRIMITIVE OPERATIONS; PROGRAM SPECIALIZATION; UNSOLVED PROBLEMS;

APPLICATION PROGRAMS;

EID: 84957807647     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45350-4_11     Document Type: Conference Paper

References (20)

1. Andersen, L. O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, Department of Computer Science, University of Copenhagen (1994). DIKU-TR-94/19
2. Birkedal, L. and Welinder, M.: Hand-writing program generator generators. In: Hermenegildo, M. and Penjam, J. (eds.): Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94. Lecture Notes in Computer Science, Vol. 844. Springer-Verlag, Berlin Heidelberg New York, 198-214. ftp://ftp.diku.dk/diku/semantics/papers/D-199.dvi.Z
3. Bjfirner, D., Ershov, A. P., and Jones, N. D. (eds.): Partial Evaluation and Mixed Computation: Selected papers from the IFIP TC2Workshop, October 1987. Special issue of New Generation Computing 6:2-3
4. Danvy, O.: Type-directed partial evaluation. In: Principles of Programming Languages: 23rd ACM SIGPLAN-SIGACT Symposium, POPL '96. ACM Press, New York, NY, USA, 242-257. ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/danvy-popl96.ps.gz
5. Futamura, Y.: Partial evaluation of computation process - an approach to a compiler-compiler. Systems, Computers, Controls 2 (1971) 45-50. Reprinted as [6]
6. Futamura, Y.: Partial evaluation of computation process|an approach to a compiler-compiler. Higher-Order and Symbolic Computation 14 (1999) 381-391. Reprint of [5]
7. Glenstrup, A. J.: Terminator II: Stopping Partial Evaluation of Fully Recursive Programs. Master's thesis, Department of Computer Science, University of Copenhagen (1999). DIKU-TR-99/8. http://www.diku.dk/~panic/TerminatorII/
8. Glenstrup, A. J. and Jones, N. D.: BTA algorithms to ensure termination of ofi-line partial evaluation. In: Bjfirner, D., Broy, M., and Pottosin, I. V. (eds.): Perspectives of System Informatics: 2nd International Andrei Ershov Memorial Conference, PSI '96. Lecture Notes in Computer Science, Vol. 1181. Springer-Verlag, Berlin Heidelberg New York, 273-284. ftp://ftp.diku.dk/diku/semantics/papers/D-274.ps.gz
9. Gomard, C. K. and Jones, N. D.: A partial evaluator for the untyped lambdacalculus. Journal of Functional Programming 1 (1991) 21-69
10. Henglein, F.: Global tagging optimization by type inference. In: Lisp and Functional Programming: 1992 ACM Conference, LFP '92. Special issue of ACM LISP Pointers 5:1. ACM Press, New York, NY, USA, 205-215
11. Hughes, J.: Type specialization for the fi-calculus; or, A new paradigm for partial evaluation based on type inference. In: Danvy, O., Glück, R., and Thiemann, P. (eds.): Partial Evaluation: International Seminar. Lecture Notes in Computer Science, Vol. 1110. Springer-Verlag, Berlin Heidelberg New York (1996) 183-251. http://www.cs.chalmers.se/~rjmh/Papers/typed-pe.ps
12. Hughes, J.: An introduction to program specialization by type inference. In: Glasgow Workshop on Functional Programming. Glasgow University (1996). http://www.cs.chalmers.se/~rjmh/Papers/glasgow-96.dvi
13. Hughes, J.: The correctness of type specialization. In: Smolka, G. (ed.): 9th European Symposium on Programming: ESOP '00. Lecture Notes in Computer Science, Vol. 1782. Springer-Verlag, Berlin Heidelberg New York, 215-229
14. Jones, N. D. et al.: Challenging problems in partial evaluation and mixed computation. In: Bjfirner, D., Ershov, A. P., and Jones, N. D. (eds.): Partial Evaluation and Mixed Computation: IFIP TC2 Workshop. North-Holland, Amsterdam, The Netherlands (1987) 1-14. Also pages 291-303 Of [3]
15. Jones, N. D., Gomard, C. K., and Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall, Englewood Clifi, NJ, USA (1993). http://www.dina.kvl.dk/~sestoft/pebook/pebook.html
16. Launchbury, J.: A strongly-typed self-applicable partial evaluator. In: Hughes, J. (ed.): Functional Programming Languages and Computer Architecture: 5th ACM Conference, FPCA '91. Lecture Notes in Computer Science, Vol. 523. Springer-Verlag, Berlin Heidelberg New York, 145-164
17. Mogensen, T. Æ.: Constructor specialization. In: Schmidt, D. (ed.): Partial Evaluation and Semantics-Based Program Manipulation: ACM SIGPLAN Symposium, PEPM '93. 22-32
18. Romanenko, S. and Sestoft, P.: Moscow ML version 1.44. A light-weight implementation of Standard ML (1999). http://www.dina.kvl.dk/~sestoft/mosml.html
19. Taha, W. and Makholm, H.: Tag elimination; or, Type specialisation is a type-indexed efiect. In: Subtyping and Dependent Types in Programming: APPSEM Workshop, DTP '00. INRIA technical report. http://www-sop.inria.fr/oasis/DTP00/Proceedings/taha.ps
20. Welinder, M.: Partial Evalutation and Correctness. PhD thesis, Department of Computer Science, University of Copenhagen (1998). DIKU-TR-98/13