Robert Glück, Masahiko Kawabe  Home/Search
Context
Related
| diku.dk/diku/semantics/pa...D491.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: We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples including the automatic derivation of a program for run-length decoding from a program for runlength encoding. This derivation is not possible with other automatic program inversion methods. One of our key observations is that the duplication of values and testing of their equality are two sides of the same coin in... (Update)
Active bibliography (related documents): More All
1.2: The Universal Resolving Algorithm: Inverse Computation in a.. - Abramov, Glück (2000) (Correct)
1.0: Transforming Interpreters into Inverse Interpreters by.. - Glück, Kawada, al. (2003) (Correct)
0.5: A Calculational Approach to Program Inversion - Linacre (2003) (Correct)
Similar documents based on text: More All
0.4: On Deforesting Parameters of Accumulating Maps - Kakehi, Glück, Futamura (2002) (Correct)
0.4: 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-program,
author = "Robert Glück and Masahiko Kawabe",
title = "A Program Inverter for a Functional Language with Equality and Constructors",
url = "citeseer.ist.psu.edu/696217.html" }
Citations (may not include all citations):39 Journal of Functional Programming (context) - Srensen, Gluck et al. - 1996
36 Texts and Monographs in Computer Science (context) - Gries, of et al. - 1981
29 An experimental program transformation and synthesis system (context) - Darlington - 1981
22 Prentice Hall International Series in Computer Science (context) - Bird, de Moor et al. - 1997
19 Program transformation with metasystem transitions (context) - Turchin - 1993
19 Software Practice and Experience (context) - Briggs, programs - 1987
19 A formal approach to undo operations in programming language.. (context) - Leeman - 1986
10 Application of metasystem transition to function inversion a.. (context) - Gluck, Turchin - 1990
10 Inversion and metacomputation (context) - Romanenko - 1991
9 Inversion of applicative programs (context) - Korf - 1981
7 Inverting functions as folds - Mu, Bird - 2002
7 The universal resolving algorithm and its correctness: inver.. - Abramov, Gluck - 2002
6 Metacomputation as a tool for formal linguistic modeling (context) - Gluck, Klimov - 1994
6 cient optimistic parallel simulations using reverse computat.. (context) - Carothers, Perumalla et al. - 1999
5 Program inversion (context) - Dijkstra - 1978
4 Program transformation with metasystem transitions: experime.. - Nemytykh, Pinchuk - 1996
3 A heuristic approach to program inversion - Eppstein - 1985
3 Principles of inverse computation and the universal resolvin.. (context) - Abramov, Gluck - 2002
3 InvX: An automatic function inverter (context) - Khoshnevisan, Sephton
1 Transforming interpreters into inverse interpreters by parti.. (context) - Gluck, Kawada et al. - 2003
Documents on the same site (http://www.diku.dk/topps/bibliography/2003.html): More
Transforming Interpreters into Inverse Interpreters by.. - Glück, Kawada, al. (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