Kenichi Asai, Hidehiko Masuhara, Satoshi Matsuoka, Akinori Yonezawa  Home/Search
Context
Related
| is.s.utokyo.ac.jp/t...TR9510a4.ps.gz 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: is.s.utokyo.ac.jp/techr...FILES (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents an online partial evaluator with a mechanism to handle I/O-type side-effects using preactions, and reports our experiment of using the partial evaluator as a compiler for the reflective language Black we are designing. Black is a Scheme-based reflective language, which allows user programs to access and modify its metalevel interpreter (or the language semantics) from within the same language framework. Because the semantics may change during computation, it is impossible to ... (Update)
Active bibliography (related documents): More All
0.6: Partial Evaluation of Call-by-value lambda-calculus with.. - Asai, Masuhara, Yonezawa (Correct)
0.4: Duplication and Partial Evaluation - For a Better Understanding of .. - Asai (1996) (Correct)
0.4: Architecture Design and Compilation Techniques Using Partial.. - Masuhara (1999) (Correct)
Similar documents based on text: More All
0.7: Temporalizing Epistemic Default Logic - van der Hoek, Meyer, Treur (Correct)
0.6: Online Partial Evaluation for Shift and Reset - Asai (2002) (Correct)
0.6: Roles of a Partial Evaluator for the Reflective Language.. - Asai, Matsuoka, Yonezawa (Correct)
BibTeX entry: (Update)
@misc{ asai-partial,
author = "Kenichi Asai and Hidehiko Masuhara and Satoshi Matsuoka and Akinori Yonezawa",
title = "Partial Evaluator as a Compiler for Reflective Languages",
url = "citeseer.ist.psu.edu/asai95partial.html" }
Citations (may not include all citations):112 Partial evaluation of computation process -- an approach to .. - Futamura - 1971
61 Object-Oriented Concurrent Reflective Languages can be Imple.. - Masuhara, Matsuoka et al. - 1992
54 The Mystery of the Tower Revealed: A Non-Reflective Descript.. (context) - Wand - 1986
48 Automatic Online Partial Evaluation (context) - Weise, Conybeare et al. - 1991
39 Reification: Reflection without Metaphysics (context) - Friedman - 1984
38 The Implementation of Procedurally Reflective Languages (context) - Rivieres, Smith - 1984
35 New Insights into Partial Evaluation: the SCHISM Experiment (context) - Consel - 1988
31 University of Copenhagen (context) - Bondorf - 1993
28 Intensions and Extensions in a Reflective Tower - Danvy - 1988
20 A Simple Reflective Interpreter - Jefferson - 1992
13 Across the bridge between reflection and partial evaluation (context) - Danvy - 1988
10 Sussman Structure and Interpretation of Computer Programs (context) - Abelson, with - 1985
8 What A Metaobject Protocol Based Compiler Can Do For Lisp (context) - Kiczales, Lamping et al. - 1994
8 Also published as Stanford Computer Systems Laboratory techn.. (context) - Ruf, in - 1993
6 Language Extension Via First-class Interpreters - Simmons, Jefferson et al. - 1992
6 Duplication and Partial Evaluation --- For a Better Understa.. - Asai, Matsuoka et al.
3 A simple mechanism to handle I/O-type side-effects in on-lin.. (context) - Masuhara
1 Toward Partial Evaluation of Functional Programs with Side-e.. (context) - Asai, Masuhara et al.
Documents on the same site (http://www.is.s.u-tokyo.ac.jp/tech-reports/FILES.html): More
Efficient Implementation of Software Release.. - Niwa, Inagaki.. (1997) (Correct)
A Partially Deadlock-free Typed Process Calculus (I) -- A.. - Naoki Kobayashi (Correct)
Typed Higher-Order Concurrent Linear Logic Programming - Kobayashi, Yonezawa (1994) (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