Robert Glück, Youhei Kawada, et al.  @ NUS Home/Search
Context
Related
| diku.dk/diku/semantics/pa...D490.ps.gz Cached: PS.gz PS PDF Image Update Help 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.comp.nus.edu.sg/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 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.