Anders Bondorf  @ NUS Home/Search
Context Related
| diku.dk/pub/diku/user...manual5.0.ps.Z Cached: PS.gz PS PDF Image Update Help From: diku.dk/users/torbenm/Si...node40 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Similix is an autoprojector (self-applicable partial evaluator) for a large higher-order subset of the strict functional language Scheme. Similix treats source programs that use a limited class of side-effects, for instance input/output operations. Similix handles partially static data structures. Similix is automatic: in general, no user annotations (such as unfolding information) are required; user assistance may in some cases be required to avoid looping, however. Similix gives certain... (Update)
Context of citations to this paper: More
...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...
.... 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...
Cited by: More
A Practical and Flexible Flow Analysis for Higher-Order Languages - Ashley, Dybvig (1997) (Correct)
Visualizing Partial Evaluation - Waddell, Dybvig (1998) (Correct)
Similar documents (at the sentence level):
55.2%: Similix 5.0 Manual - Bondorf (1993) (Correct)
Active bibliography (related documents): More All
0.6: Automatic Autoprojection of Recursive Equations with Global.. - Bondorf, Danvy (1990) (Correct)
0.5: Generating a Compiler for a Lazy Language by Partial Evaluation - Jørgensen (1992) (Correct)
0.4: Sharing of Computations - Amtoft (1993) (Correct)
Similar documents based on text: More All
0.5: Compiling Actions by Partial Evaluation, Revisited - Danvy, Rhiger (1998) (Correct)
0.4: Call-By-Name CPS-Translation as a Binding-Time Improvement - Nielsen, Sørensen (1995) (Correct)
0.4: Partial Evaluation for Higher-Order Languages with State - Thiemann, Dussart (1996) (Correct)
Related documents from co-citation: More All
3: DDD - A Transformation system for Digital Design Derivation (context) - Bose - 1991
3: Two-Level Functional Languages (context) - Nielson, Nielson - 1992
3: The interprocedural analysis and automatic parallelization of Scheme programs (context) - William - 1989
BibTeX entry: (Update)
Bondorf, A. 1993. Similix Manual, System Version 5.0. University of Copenhagen, Denmark: DIKU. http://citeseer.comp.nus.edu.sg/229585.html More
@misc{ bondorf93similix,
author = "A. Bondorf",
title = "Similix Manual",
text = "Bondorf, A. 1993. Similix Manual, System Version 5.0. University of Copenhagen,
Denmark: DIKU.",
year = "1993",
url = "citeseer.comp.nus.edu.sg/229585.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
254 Revised 4 report on the algorithmic language Scheme - Clinger, Rees - 1991
164 IEEE Std (context) - for, programming et al. - 1990
98 MIX: a self-applicable partial evaluator for experiments in .. (context) - Jones, Sestoft et al. - 1989
85 An experiment in partial evaluation: the generation of a com.. (context) - Jones, Sestoft et al. - 1985
76 a better support of static data flow - Consel, Danvy - 1991
41 Automatic program specialization: a re-examination from basi.. (context) - Jones - 1988
35 New insights into partial evaluation: the SCHISM experiment (context) - Consel - 1988
35 Generalized partial computation (context) - Futamura, Nogi - 1988
34 Lambda lifting: transforming programs to recursive equations - Johnsson - 1985
27 Mixed computation: potential applications and problems for s.. (context) - Ershov - 1982
25 the essence of compilation (context) - Ershov - 1978
18 From interpreting to compiling binding times (context) - Consel, Danvy - 1990
17 The structure of a self-applicable partial evaluator (context) - Sestoft - 1985
17 Compiler generation by partial evaluation: a case study (context) - Gomard, Jones - 1991
15 A functional abstraction of typed contexts - Danvy, Filinski - 1989
14 Semantics-directed compilation of nonlinear patterns - Danvy - 1991
11 Partial evaluation of general parsers (context) - Mossin - 1993
11 Partial evaluation is fuller laziness (context) - Holst, Gomard - 1991
10 Binding Time Aspects of Partial Evaluation (context) - AE - 1989
8 Transactions on Programming Languages and Systems (context) - Turchin, of et al. - 1986
4 Towards binding-time improvement for free (context) - Holst, Hughes - 1990
3 Parsers and partial evaluation: an experiment (context) - Dybkjaer - 1985
2 Technical Report CS (context) - Danvy, Filinski - 1991
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.