Robert Glück, Youhei Kawada, et al.  Home/Search
Context
Related
| diku.dk/diku/semantics/pa...D490.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: diku.dk/topps/bibliography...2003 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: programming language tools from robust semantics: we used a partial evaluator (Similix) to turn interpreters into inverse interpreters. This way we generated inverse interpreters for several small languages including interpreters for Turing machines, an applied lambda calculus, a flowchart language, and a subset of Java bytecode. Limiting factors of o#ine partial evaluation were the polyvariant specialization scheme with its lack of generalization; advantages were the availability of... (Update)
Active bibliography (related documents): More All
1.1: Jones Optimality, Binding-Time Improvements, and the Strength of.. - Glück (Correct)
1.0: A Program Inverter for a Functional Language with Equality and .. - Glück, Kawabe (2003) (Correct)
0.7: Combinators for Bi-Directional Tree.. - Foster.. (2004) (Correct)
Similar documents based on text: More All
0.4: On Deforesting Parameters of Accumulating Maps - Kakehi, Glück, Futamura (2002) (Correct)
0.3: The Translation Power of the Futamura Projections - Glück (2003) (Correct)
0.3: Combining Semantics with Non-Standard Interpreter Hierarchies - Abramov, Glück (2000) (Correct)
BibTeX entry: (Update)
@misc{ ck-transforming,
author = "Robert Glück and Youhei Kawada and et al.",
title = "Transforming Interpreters into Inverse Interpreters by Partial Evaluation",
url = "citeseer.ist.psu.edu/694730.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
254 The integration of functions into logic programming: from th.. (context) - Hanus - 1994
96 Automatic autoprojection of recursive equations with global .. - Bondorf, Danvy - 1991
83 Automatic autoprojection of higher order recursive equations (context) - Bondorf - 1991
38 Partial deduction and driving are equivalent - Gluck, Srensen - 1994
37 Occam's razor in metacomputation: the notion of a perfect pr.. (context) - Gluck, Klimov - 1993
9 Static and dynamic program compilation by interpreter specia.. - Thibault, Consel et al. - 2000
9 The narrowing-driven approach to functional logic program sp.. - Albert, Vidal - 2002
7 Inverting functions as folds - Mu, Bird - 2002
7 Included in the Similix distribution (context) - Bondorf, Manual et al. - 1993
7 The universal resolving algorithm and its correctness: inver.. - Abramov, Gluck - 2002
6 Generating action compilers by partial evaluation - Bondorf, Palsberg - 1996
6 The inversion of functions defined by Turing machines (context) - McCarthy - 1956
6 Generating a compiler for a lazy language by partial evaluat.. (context) - Jrgensen - 1992
5 From standard to non-standard semantics by semantics modifie.. - Abramov, Gluck - 2001
5 Program inversion (context) - Dijkstra - 1978
5 Similix: a self-applicable partial evaluator for Scheme (context) - Jrgensen - 1999
4 Program transformation with metasystem transitions: experime.. - Nemytykh, Pinchuk - 1996
3 Combining semantics with non-standard interpreter hierarchie.. - Abramov, Gluck - 1974
3 Principles of inverse computation and the universal resolvin.. (context) - Abramov, Gluck - 2002
2 cient analyses for realistic o#-line partial evaluation (context) - Bondorf, Jrgensen - 1993
2 the equivalence of online and o#ine partial evaluation (context) - Christensen, Gluck - 2001
1 An introduction to online and o#ine partial evaluation using.. (context) - Hatcli - 1999
1 Proof-directed de-compilation of Java bytecode - Katsumata, Ohori - 2028
Documents on the same site (http://www.diku.dk/topps/bibliography/2003.html): More
A Program Inverter for a Functional Language with Equality and .. - Glück, Kawabe (2003) (Correct)
Automatic Program Specialization for Java - Schultz, Lawall, Consel (2000) (Correct)
Web Cache Prefetching as an Aspect: Towards a.. -.. (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