Resource-Bounded Partial Evaluation

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 12, 1997, Pages 179-192

  Debray, Saumya ^a  

^a University of Arizona   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347936465     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/258994.259017     Document Type: Article

References (31)

1. L. O. Anderson, "Program Analysis and Specialization for the C Programming Language", DIKU Report No. 94/19, Dept. of Computer Science, University of Copenhagen, 1994.
2. L. O. Andersen and C. K. Gomard, "Speedup Analysis in Partial Evaluation (Preliminary Results)", Proc. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, June 1992, pp. 1-7. (Also available as Technical Report YALEU/DCS/RR-909, Department of Computer Science, Yale University, New Haven, CT.)
3. P. H. Andersen and C. K. Holst, "Termination Analysis for Offline Partial Evaluation of a Higher Order Programming Language", Proc. Third International Static Analysis Symposium, 1996.
4. R. Baier, R. Glück, and R. Zöchling, "Partial Evaluation of Numerical Programs in Fortran", Proc. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1994, pp. 119-132. Report 94/9, Dept. of Computer Science, University of Melbourne.
5. L. Birkedal and M. Welinder, "Partial Evaluation of Standard ML", DIKU Report No. 93/22, Dept. of Computer Science, University of Copenhagen, 1993.
6. A. Bondorf, Similix 5.0 Manual, Department of Computer Science, University of Copenhagen, Copenhagen, Denmark, May 1993.
7. R. M. Burstall and J. Darlington, "A Transformation System for Developing Recursive Programs", Journal of the ACM vol. 24 no. 1, Jan. 1977, pp. 44-67.
8. C. Castelluccia, "Automating Header Prediction", Proc. Workshop on Compiler Support for System Software, Tucson, Feb. 1996, pp. 44-53.
9. W. Y. Chen, P. P. Chung, T. M. Conte, and W. W. Hwu, "The Effect of Code Expanding Optimizations on Instruction Cache Design", IEEE Transactions on Computers 42(9), Sept. 1993, pp. 1045-1057.
10. C. Consel, "Binding Time Analysis for Higher Order Untyped Functional Languages", Proc. 1990 ACM Conference on Lisp and Functional Programming, pp. 264-272.
11. O. Danvy, N. Heintze and K. Malmkjær, "Resource-Bounded Partial Evaluation", ACM Computing Surveys vol. 28 no. 2, June 1996, pp. 329-332.
12. J. W. Davidson and A. M. Holler, "Subprogram Inlining: A Study of its Effects on Program Execution Time", IEEE Transactions on Software Engineering vol. 18 no. 2, Feb. 1992, pp. 89-102.
13. J. W. Davidson and S. Jinturkar, "An Aggressive Approach to Loop Unrolling", Proc. Compiler Construction '96.
14. J. Dean and C. Chambers, "Towards Better Inlining Decisions using Inlining Trials", Proc. 1994 ACM Conference on Lisp and Functional Programming, Orlando, Florida, June 1994, pp. 273-282.
15. J. Dean, C. Chambers and D. Grove, "Selective Specialization for Object-Oriented Languages", Proc. SIGPLAN '95 Conference on Programming Language Design and Implementation, June 1995, pp. 93-102.
16. J. Dongarra and A. R. Hinds, "Unrolling Loops in FORTRAN", Software Practice and Experience vol. 9 no. 3, March 1979, pp. 219-226.
17. M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, Freeman, New York, 1979.
18. A. J. Glenstrup and N. D. Jones, "BTA Algorithms to Ensure Termination of Off-line Partial Evaluation" , in Perspectives of System Informatics: Proceedings of the Andrei Ershov Second International Memorial Conference, June 1996.
19. R. Glück and J. Jørgensen, "Efficient Multi-Level Generating Extensions for Program Specialization", Proc. International Symposium on Programming Languages, Implementation, Logics and Programs (PLILP), 1995.
20. C. Gurr, A Self-Applicable Partial Evaluator for the Logic Programming Language Godel, Ph.D. Thesis, University of Bristol, 1994.
21. C. K. Holst, "Finiteness Analysis", Proc. Functional Programming and Computer Architecture, 1991, pp. 473-495.
22. W. W. Hwu and P. H. Chang, "Achieving High Instruction Cache Performance with an Optimizing Compiler", Proc. 16th. International Symposium on Computer Architecture, May 1989, pp. 242-251.
23. W. W. Hwu and P. H. Chang, "Inline Function Expansion for Compiling C Programs", Proc. SIGPLAN '89 Conference on Programming Language Design and Implementation, June 1989, pp. 246-257.
24. N. D. Jones, C. K. Gomard and P. Sestoft, Partial Evaluation and Automatic Program Generation, Prentice Hall, 1993.
25. S. McFarling, Program Analysis and Optimization for Machines with Instruction Cache, Ph.D. Dissertation, Stanford University, Sept. 1991.
26. D. Mosberger, L. L. Peterson, P. G. Bridges, and S. O'Malley, "Improving the I-Cache Effectiveness of Network Software", Proc. Workshop on Compiler Support for System Software, Tucson, Feb. 1996, pp. 29-36.
27. D. Mosberger, L. L. Peterson, P. G. Bridges, and S. O'Malley, "Analysis of Techniques to Improve Protocol Processing Latency", Proc. SIGCOMM '96, pp. 73-84, Sept. 1996.
28. K. Pettis and R. C. Hansen, "Profile Guided Code Positioning", Proc. SIGPLAN '90 Conference on Programming Language Design and Implementation, 1990, pp. 16-27.
29. D. Sahlin, An Automatic Partial Evaluator for Full Prolog, Ph.D. Thesis, Kungliga Tekniska Högskolan, Stockholm, Sweden, 1991. Report TRITA-TCS-9101.
30. M. Serrano and P. Weis, "Bigloo: a portable and optimizing compiler for strict functional languages" Proc. Static Analysis Symposium (SAS '95), 1995, pp. 366-381.
31. S. Weiss and J. E. Smith, "A Study of Scalar Compilation Techniques for Pipelined Supercomputers", Proc. Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II) , Oct. 1987, pp. 105-109.