Peter rbaek. Pope: An on-line partial evaluator. Technical report, DAIMI?, June 1994. to appear. 132 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Architecture Design and Compilation Techniques Using Partial.. - Masuhara (1999) (Correct)
....preserves the I O operations in the original program. Handling Side Effects (2) Instance Variable Assignments As mentioned, partial evaluators have difficulty in handling assignments to variables and data structures. Although there are studies on partial evaluation that address this problem[4, 5, 97], they still require heavy global analysis and programming style specialized for partial evaluation. Fortunately, the programming model of ABCL R3 (and Schematic) assures that assignment to instance variables can be performed at most once for each method This conversion is similar to a ....
Peter rbaek. Pope: An on-line partial evaluator. Technical report, DAIMI?, June 1994. to appear. 132
Partial Evaluation for Higher-Order Languages with State - Thiemann, Dussart (1996) (13 citations) (Correct)
....Pascal that performs side effects at specialization time. Marquard and Steensgaard [52] describe an online partial evaluator for an object oriented imperative language. The REDFUN group [6, 37] developed specializers for impure Lisp using an ad hoc approach to handling side effects. rbaek s POPE [64] specializes Scheme with mutable variables, but always residualizes operations that affect variables. Asai and others [4] describe an online specializer for a subset of Scheme which handles dynamic side effects using pre actions. Pre actions have a purpose similar to automatically inserted ....
Peter Ørbaek. POPE: An on-line partial evaluator. ftp://ftp.daimi.aau.dk/pub/empl/poe/pope.ps.gz, June 1994.
Partial Evaluation of Call-by-value lambda-calculus with.. - Asai, Masuhara, Yonezawa (1996) (1 citation) (Correct)
....In conventional partial evaluators for functional languages, only restricted use of side effects were allowed, and other types of side effects were either refused or processed incorrectly. For example, Similix[4] handles only I O operations and restricted types of variable assignments. POPE[19] provides wider use of variable assignments, but does not handle destructive updates of data structures correctly. This is a major restriction since we often use side effects even when we program mostly in functional style. In this paper, we present an online partial evaluator for a call by value ....
....offline partial evaluator. Although it can deal with I O operations and restricted types of variable assignments, it does not handle destructive updates of data structures. Schism[9] is also an offline partial evaluator for Scheme, but does not address the partial evaluation of side effects. POPE[19] is an online partial evaluator for Scheme, which is also publicly available. It provides wider use of variable assignments than Similix, but does not handle destructive updates of data structures, either. Fuse[20] is an online partial evaluator, which our partial evaluator was originally based ....
Ørbaek, P. "POPE: An On-line Partial Evaluator," available from ftp://ftp.daimi.aau. dk/pub/empl/poe/pope.ps.gz, (June 1994).
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