Searching for "Higher-order Binding-time Analysis." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Higher-order Binding-time Analysis
- …Higher-order Binding-time Analysis Kei Davis Abstract The partial evaluation process requires a…
- Cited by 13 (2 self) – Add To MetaCart
-
Efficient Type Inference for Higher-Order Binding-Time Analysis
- …Efficient Type Inference for Higher-Order Binding-Time Analysis ∗ Fritz Henglein DIKU University…
- Cited by 84 (1 self) – Add To MetaCart
-
Fast Interprocedural Class Analysis
- … was inspired by Henglein's non-standard type-inference algorithm for higher-order binding-time analysis…
- Cited by 66 (4 self) – Add To MetaCart
-
Partial Evaluation of Standard ML (Master's Thesis)
- … binding-time analysis. In John Hughes, editor, Functional Programming Languages and Computer Architecture…
- Cited by 1 (0 self) – Add To MetaCart
-
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis
- …'s higher-order binding time analysis [2]. All of these analyses compute correct solutions; our concern…
- Add To MetaCart
Showing 1 through 5.
