Christopher Colby Peter Lee March 1992 CMU-CS-92-123 School of Computer...  Home/Search
Context Related
| cmu.edu/project/fox/membe...paramPE.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/project/fox/member...mess (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Charles Consel and Siau Cheng Khoo have developed a technique for parameterizing partial evaluation and binding-time analysis with respect to abstract domains [5]. We have found the modules system of Standard ML [12, 15] to be a useful vehicle for implementing a similar parameterization technique. Furthermore, the ability to parameterize binding-time analysis indicates that the technique may be useful for implementations of collecting interpretations in general. This paper describes our... (Update)
Context of citations to this paper: More
...(in Standard ML) an online partial evaluator for a strict first order functional language. We are currently looking into their work [CL91, CL92] Since ML is being considered as a vehicle for implementing some parts of our system their choice is very reassuring. 5 Using...
Cited by: More
Specializing Code via Partial Evalutaion - Krishna (1994) (Correct)
Practical Partial Evaluation - Surati (1995) (Correct)
Active bibliography (related documents): More All
0.3: A Modular Implementation of Partial Evaluation - Christopher Colby (1992) (Correct)
0.2: Automatic Autoprojection of Recursive Equations with Global.. - Bondorf, Danvy (1990) (Correct)
0.1: Partial Evaluation: Principles and Perspectives - Consel, Danvy (1993) (Correct)
Similar documents based on text:
92.0: Unknown - (Correct)
Related documents from co-citation: More All
2: Compiling scientific code using partial evaluation - Berlin, Wiese - 1990
2: Techniques and Tools (context) - Aho, Sethi et al. - 1988
2: Partial evaluation of computation process - an approach to compilercompiler - Futamura - 1971
BibTeX entry: (Update)
C. Colby and P. Lee, "A Modular Implementation of Partial Evaluation" Technical Report CMU-CS-92-123, School of Computer Science, Carnegie Mellon University, Pittsburgh PA, 1992. http://citeseer.ist.psu.edu/colby92modular.html More
@techreport{ christopher92modular,
author = "Colby, Christopher and Lee, Peter",
title = "{A} modular implementation of partial evaluation",
number = "CMU-CS-92-123",
month = "March",
address = "Pittsburgh",
year = "92",
url = "citeseer.ist.psu.edu/colby92modular.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
138 Abstract Interpretation of Declarative Languages (context) - Abramsky, Hankin - 1987
98 MIX: a self-applicable partial evaluator for experiments in .. (context) - Jones, Sestoft et al. - 1989
96 Automatic Autoprojection of Recursive Equations with Global .. - Bondorf, Danvy - 1990
85 An experiment in partial evaluation: the generation of a com.. (context) - Jones, Sestoft et al. - 1985
83 Modules for Standard ML - MacQueen - 1986
65 Binding time analysis for higher order untyped functional la.. (context) - Consel - 1990
54 Strictness analysis on non-flat domains (context) - Wadler - 1987
35 New insights into partial evaluation: the Schism experiment (context) - Consel - 1988
32 ACM Transactions on Programming Languages and Systems (context) - Hudak, Young et al. - 1991
31 A self-applicable partial evaluator for the lambda calculus (context) - Gomard
18 Parameterized partial evaluation (context) - Consel, Khoo - 1991
16 Partially static structures in a self-applicable partial eva.. (context) - Mogensen - 1988
11 Generating a pattern matching compiler by partial evaluation (context) - Jrgensen
Documents on the same site (http://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox/member/petel/www/papers/mess.html): More
Lightweight Run-Time Code Generation - Leone, Lee (1994) (Correct)
Optimizing ML with Run-Time Code Generation - Leone, Lee (1995) (Correct)
LISP AND SYMBOLIC COMPUTATION: An International.. - Call-By-Need And.. (Correct)
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