Partial Evaluation of Call-by-value λ-calculus with Side-effects

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 12, 1997, Pages 12-21

  Asai, Kenichi ^a   Masuhara, Hidehiko ^a   Yonezawa, Akinori ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346675722     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/258994.258997     Document Type: Article

References (25)

1. Andersen, L. O. Program Analysis and Specialization for the C Programming Language, Ph.D. thesis, DIKU, University of Copenhagen (May 1994).
2. Asai, K., H. Masuhara, and A. Yonezawa "Partial Evaluation of Call-by-value λ-calculus with Side-effects," Technical report of Department of Information Science, University of Tokyo, 96-04 (November 1996).
3. Asai, K., S. Matsuoka, and A. Yonezawa "Duplication and Partial Evaluation - For a Better Understanding of Reflective Languages -," Lisp and Symbolic Computation, Vol. 9, Nos. 2/3, pp. 203-241, Kluwer Academic Publishers (May/June 1996).
4. Baier, R., R. Glück, and R. Zöchling "Partial Evaluation of Numerical Programs in Fortran," ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '94), pp. 119-132 (June 1994).
5. Bondorf, A., and O. Danvy "Automatic autoprojection of recursive equations with global variables and abstract data types," Science of Computer Programming, Vol. 16, pp. 151-195, Elsevier (1991).
6. 4 Report on the Algorithmic Language Scheme", LISP Pointers, Vol. IV, No. 3, pp. 1-55 (July-September 1991).
7. Consel, C. "New Insights into Partial Evaluation: the SCHISM Experiment," ESOP'88, 2nd European Symposium on Programming (LNCS 300), pp. 236-246 (March 1988).
8. Consel, C. "Binding Time Analysis for Higher Order Untyped Functional Languages," Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pp. 264-272 (June 1990).
9. Consel, C. "A Tour of Schism: A Partial Evaluation System for Higher-Order Applicative Languages," Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'93), pp. 145-154 (June 1993).
10. Dean, J., C. Chambers, and D. Grove "Identifying Profitable Specialization in Object-Oriented Languages," ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '94), pp. 85-96 (June 1994).
11. Dussart, D., and P. Thiemann "Partial Evaluation for Higher-Order Languages with State," Submitted for publication (1996).
12. Heintze, N. "Set-Based Analysis of ML Programs," Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, pp. 306-317 (June 1994).
13. Jones, N. D., C. K. Gomard, and P. Sestoft Partial Evaluation and Automatic Program Generation, New York: Prentice-Hall (1993).
14. Masuhara, H. et al. "A simple mechanism to handle I/O-type side-effects in on-line partial evaluators," in preparation.
15. Masuhara, H., S. Matsuoka, K. Asai, and A. Yonezawa "Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation," Tenth Annual Conference of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '95), pp. 300-315. (October 1995).
16. Meyer, U. "Techniques for partial evaluation of imperative languages," Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '91), pp. 94-105 (June 1991).
17. Mogensen, T. Æ. "Partially Static Structures in a Self-Applicable Partial Evaluator," In D. Bjørner, A. P. Ershov, and N. D. Jones editors, Partial Evaluation and Mixed Computation, Elsevier Science Publishers, pp. 325-347 (1988).
18. Mogensen, T. Æ. "Separating Binding Times in Language Specifications," Proceedings of the Fourth International Conference on Functional Programming Languages and Computer Architecture (FPCA'89), pp. 12-25 (September 1989).
19. Ørbsek, P. "POPE: An On-line Partial Evaluator,available from ftp://ftp.daimi.aau.dk/pub/enpl/poe/pope.p s.gz (June 1994).
20. Ruf, E. Topics in Online Partial Evaluation, Ph.D. thesis, Stanford University (March 1993). Also published as Stanford Computer Systems Laboratory technical report CSL-TR-93-563.
21. Shivers, O. "Control Flow Analysis in Scheme," Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation (PLDI), pp. 164-174 (June 1988).
22. Sperber, M., and P. Thiemann "The Essence of LR Parsing," Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'95), pp. 146-155 (June 1995).
23. Thiemann, P. "Towards Partial Evaluation of Full Scheme," Proceedings of Reflection'96, pp. 105-115 (April 1996).
24. Weise, D., R. Conybeare, E. Ruf, and S. Seligman "Automatic Online Partial Evaluation," In J. Hughes, editor, Functional Programming Languages and Computer Architecture (LNCS 523), pp. 165-191 (August 1991).
25. Weise, D., and S. Seligman "Accelerating Object-Oriented Simulation via Automatic Program Specialization," Technical Report of Computer Systems Laboratory, Stanford University, CSL-TR-92-519 (also FUSE Memo 92-10), (April 1992).