Andrei P. Nemytykh, Victoria A. Pinchuk  Home/Search
Context Related
| botik.ru/pub/local/A...metatrans.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: botik.ru/PSI/RCMS/APP/...nemytykh (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Turchin's supercompilation is a program transformation technique for functional languages. A supercompiler is a program which can perform a deep transformation of programs using a principle which is similar to partial evaluation. In the present paper we use a supercompiler, which V.F. Turchin and we have described in [22], [23]. The aim of our investigation has been to show, what deep changes ( w.r.t. run time ) in the programs can be achieved by supercompilation. In [21] V.F. Turchin... (Update)
Context of citations to this paper: More
.... computation in functional languages: the universal resolving algorithm (see [1, 4] and walk grammars for inverse interpretation [30, 23]. The universal resolving algorithm in this paper uses methods from supercompilation [29] in particular driving, and is based on...
...evidence exists for equivalence transformation modifiers, not much work has been done regarding inversion modifiers. Experiments [40, 53] show that specializing an interpreter for inverse computation can invert programs. Only a very small number of publications studies...
Cited by: More
A Program Inverter for a Functional Language with Equality and .. - Glück, Kawabe (2003) (Correct)
Transforming Interpreters into Inverse Interpreters by.. - Glück, Kawada, al. (2003) (Correct)
From Standard To Non-Standard Semantics By Semantics Modifiers - Abramov, Glück (2001) (Correct)
Active bibliography (related documents): More All
1.6: A Self-Applicable Supercompiler - Nemytykh, Pinchuk, Turchin (1996) (Correct)
0.6: A Roadmap to Metacomputation by Supercompilation - Glück, Sĝrensen (1996) (Correct)
0.5: Reasoning about Hierarchies of Online Program Specialization.. - Hatcliff, Glück (Correct)
Similar documents based on text: More All
0.6: A Positive Supercompiler - Sørensen, Glück, Jones (1993) (Correct)
0.5: On Perfect Supercompilation - Secher, Sĝrensen (1999) (Correct)
0.5: Advances in Theory: - Program Specialization Has (Correct)
Related documents from co-citation: More All
3: Program transformation with metasystem transitions (context) - Turchin - 1993
2: A heuristic approach to program inversion - Eppstein - 1985
2: Ehkvivalentnye preobrazovanija rekursivnykh funkcij na Refale (context) - Turchin - 1972
BibTeX entry: (Update)
A. P. Nemytykh, V. A. Pinchuk. Program transformation with metasystem transitions: experiments with a supercompiler. In D. Bjrner et al. (eds.), Perspectives of System Informatics, LNCS 1181, 249--260. Springer-Verlag, 1996. http://citeseer.ist.psu.edu/nemytykh96program.html More
@inproceedings{ nemytykh96program,
author = "Andrei P. Nemytykh and Victoria A. Pinchuk",
title = "Program Transformation with Metasystem Transitions: Experiments with a Supercompiler",
booktitle = "Ershov Memorial Conference",
pages = "249-260",
year = "1996",
url = "citeseer.ist.psu.edu/nemytykh96program.html" }
Citations (may not include all citations):385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
347 Fast Pattern Matching in Strings (context) - Knuth, Morris et al. - 1977
129 Transformation of logic programs: Foundations and Techniques (context) - Pettorossi, Proietti - 1993
112 Partial evaluation of computation process -- an approach to .. - Futamura - 1971
85 An experiment in partial evaluation: the generation of a com.. (context) - Jones, Sestoft et al. - 1985
70 ACM Transactions on Programming Languages and Systems (context) - Turchin, concept - 1986
25 the essence of compilation (context) - Ershov - 1978
19 Program Transformation with Metasystem Transitions (context) - Turchin - 1993
18 Generating optimizing specializers (context) - Jorgensen - 1994
13 A Self-Applicable Supercompiler - Turchin, Nemytykh et al. - 1996
12 Towards multiple self-application (context) - Gluck - 1991
7 Metavariables: Their implementation and use in Program Trans.. (context) - Turchin, Nemytykh - 1995
7 This article was processed using the L a T E X macro package.. (context) - Programs, Trees - 1990
7 New England Publishing Co (context) - Turchin - 1989
4 Experiments with a Self-applicable Supercompiler (context) - Gluck, Turchin - 1989
2 Bazisnyi Refal i yego realizatsiya na vychislitel'nykh mashi.. (context) - Turchin, Klimov - 1977
2 Courant Computer Science Report (context) - Turchin - 1980
1 Symposium on Partial Evaluation and Semantics-Based Program .. (context) - Romanenko - 1991
1 Fast Pattern Matching in Strings by Program Transformation (context) - Nemytykh
1 Interpretive layers in metasystem transitions (context) - Nemytykh, Pinchuk - 1995
1 Transformation Programs to Decrease Run Time (context) - Nemytykh, Pinchuk
1 Metavychisleniya i logicheskoe programmirovanie (context) - Abramov - 1991
1 The Algorithm of Generalization in the Supercopmiler (context) - Turchin - 1988
1 Inversing of functional programs by metasystem transitions (context) - Nemytykh, Pinchuk
Documents on the same site (http://www.botik.ru/PSI/RCMS/APP/nemytykh/nemytykh.html):
A Self-Applicable Supercompiler - Nemytykh, Pinchuk, Turchin (1996) (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