Bondorf, A. 1993. Similix Manual, System Version 5.0. DIKU, University of Copenhagen, Denmark. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Practical and Flexible Flow Analysis for Higher-Order Languages - Ashley, Dybvig (1997) (20 citations) (Correct)
....and the jump is a direct jump. In addition, since the expression (car x) cannot cause a side e#ect, the evaluation of this expression can be omitted at run time. 17 Benchmark lines Description texer 3,000 A Scheme pretty printer with T E X output similix 7,000 Self application of the Similix [Bondorf 1993] partial evaluator ddd 15,000 A hardware derivation system [Bose 1991] deriving a Scheme machine [Burger 1994] conform 450 A program that manipulates lattices and partial orders dynamic 2,200 A dynamic type inferencer applied to itself earley 650 Earley s algorithm for generating parsers for ....
Bondorf, A. 1993. Similix Manual, System Version 5.0. DIKU, University of Copenhagen, Denmark.
A Practical and Flexible Flow Analysis for Higher-Order Languages - Ashley, Dybvig (1996) (20 citations) (Correct)
....the jump is a direct jump. In addition, since the expression (car x) cannot cause a side effect, the evaluation of this expression can be omitted at run time. Delta 16 Benchmark lines Description texer 3,000 A Scheme pretty printer with T E X output similix 7,000 Self application of the Similix [Bondorf 1993] partial evaluator ddd 15,000 A hardware derivation system [Bose 1991] deriving a Scheme machine [Burger 1994] conform 450 A program that manipulates lattices and partial orders dynamic 2,200 A dynamic type inferencer applied to itself earley 650 Earley s algorithm for generating parsers for ....
Bondorf, A. 1993. Similix Manual, System Version 5.0. University of Copenhagen, Denmark: DIKU.
A Practical and Flexible Flow Analysis for Higher-Order Languages - Ashley, Dybvig (1996) (20 citations) (Correct)
....jump is a direct jump. In addition, since the expression (car x) cannot cause a side effect, the evaluation of this expression can be omitted at run time. Delta 17 Benchmark lines Description texer 3,000 A Scheme pretty printer with T E X output similix 7,000 Self application of the Similix [Bondorf 1993] partial evaluator ddd 15,000 A hardware derivation system [Bose 1991] deriving a Scheme machine [Burger 1994] conform 450 A program that manipulates lattices and partial orders dynamic 2,200 A dynamic type inferencer applied to itself earley 650 Earley s algorithm for generating parsers for ....
Bondorf, A. 1993. Similix Manual, System Version 5.0. DIKU, University of Copenhagen, Denmark.
Visualizing Partial Evaluation - Waddell, Dybvig (1998) (3 citations) (Correct)
....An implementor can use this feature to examine the processing of a particular source expression in detail. 3. CONCLUSION The role of visualization in partial evaluators has primarily been to display source code annotated with binding times. Example systems include Schism [Consel 1996] Similix [Bondorf 1993], and Tempo [Consel et al. 1998] Visualization plays a more significant role in a partial evaluator that was developed to assist in the task of understanding legacy programs [Blazy and Facon 1994] That system provides a 4 Delta O. Waddell and R. K. Dybvig correlated display of source and ....
Bondorf, A. 1993. Similix Manual, System Version 5.0. University of Copenhagen, Denmark: DIKU.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC