Dynamic Specialization in the Fabius System

ACM Computing Surveys

Volumn 30, Issue , 1998, Pages 23-

  Leone, Mark ^a   Lee, Peter ^b  

^a INDIANA UNIVERSITY   (United States)

^b Carnegie Mellon University   (United States)

Author keywords

Bindingtime analysis; Design; Languages; Multi stage specialization; Partial evaluation; Run time code generation; Two level languages

Indexed keywords

EID: 0346032499     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/289121.289144     Document Type: Article

References (15)

1. rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 1996), pp. 145-156.
2. rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 1996), pp. 258-270.
3. Draves, S. 1996. Compiler generation for interactive graphics using intermediate code. In Dagstuhl Workshop on Partial Evaluation (LNCS1110) (1996).
4. Engler, D. R., Wallach, D., and Kaashoek, M. F. 1995. Efficient, safe, application- specific message processing. Technical Memorandum MIT/LCS/TM533 (March), MIT Laboratory for Computer Science.
5. Glück, R. and Jorgensen, J. 1995. Efficient multi-level generating extensions. In Programming Languages, Implementations, Logics and Programs (PLILP’95), volume 1181 of Lecture Notes in Computer Science (1995). Springer-Verlag.
6. Grant, B., Mock, M., Philipose, M., Chambers, C., and Eggers, S. J. 1997. Annotation-directed run-time specialization in C. In PEPM 97 Symposium on Partial Evaluation and Semantics-Based Program Manipulation (June 1997).
7. Holst, N. C. K. 1988. Language triplets: The AMIX approach. In D. BjOrner, A. Ershov, and N. Jones Eds., Partial Evaluation and Mixed Computation (October 1988), pp. 167-185. North-Holland.
8. Jones, N. D., Gomard, C. K., and Sestoft, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice-Hall.
9. Lee, P. and Leone, M. 1996. Optimizing ML with run-time code generation. In Proceedings of the ACM SIGPLAN ’96 Conference on Programming Language Design and Implementation (Philadelphia, Pennsylvania, May 1996), pp. 137-148.
10. Leone, M. and Dybvig, R. K. 1997. Dynamo: A staged compiler architecture for dynamic program optimization. Technical Report 490 (September), Computer Science Department, Indiana University.
11. Leone, M. and Lee, P. 1994. Lightweight run-time code generation. In PEPM 9f Workshop on Partial Evaluation and Semantics-Based Program Manipulation (June 1994), pp. 97-106. Technical Report 94/9, Department of Computer Science, University of Melbourne.
12. Leone, M. and Lee, P. 1996. A declarative approach to run-time code generation. In WCSSS’96 Workshop on Compiler Support for System Software (February 1996), pp. 817.
13. Nielson, F. and Nielson, H. R. 1997. Prescriptive frameworks for multi-level lambdacalculi. In PEPM 97 Symposium on Partial Evaluation and Semantics-Based Program Manipulation (June 1997).
14. Taha, W. and Sheard, T. 1997. Multi-stage programming with explicit annotations. In PEPM 97 Symposium on Partial Evaluation and Semantics-Based Program Manipulation (June 1997).
15. Wickline, P., Lee, P., Pfenning, F., and Davies, R. 1997. Modal types as staging specifications for run-time code generation. To appear in Computing Surveys Symposium on Partial Evaluation.