Dynamic specialization in the Fabius system
暂无分享,去创建一个
[1] Walid Taha,et al. Multi-stage programming with explicit annotations , 1997, PEPM.
[2] Peter Lee,et al. Modal types as staging specifications for run-time code generation , 1998, CSUR.
[3] Flemming Nielson,et al. Prescriptive Frameworks for Multi-Level Lambda-Calculi , 1997, PEPM.
[4] Peter Sestoft,et al. Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.
[5] Peter Lee,et al. Optimizing ML with run-time code generation , 1996, PLDI '96.
[6] Frank Pfenning,et al. A modal analysis of staged computation , 1996, POPL '96.
[7] Mark Leone,et al. Dynamo: A Staged Compiler Architecture for Dynamic Program Optimization , 1997 .
[8] Charles Consel,et al. A general approach for run-time specialization and its application to C , 1996, POPL '96.
[9] Robert Glück,et al. Efficient Multi-level Generating Extensions for Program Specialization , 1995, PLILP.
[10] Peter Lee,et al. Lightweight Run-Time Code Generation , 1994, PEPM.
[11] Markus Mock,et al. Annotation-Directed Run-Time Specialization in C , 1997, PEPM.
[12] Scott Draves,et al. Compiler Generation for Interactive Graphics Using Intermediate Code , 1996, Dagstuhl Seminar on Partial Evaluation.