Robert Glück, Morten Heine Sĝrensen  @ NUS Home/Search
Context Related
| diku.dk/diku/semantics/pa...D267.ps.gz Cached: PS.gz PS PDF Image Update Help From: diku.dk/researchgroups/to...1996 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper gives a gentle introduction to Turchin's supercompilation and its applications in metacomputation with an emphasis on recent developments. First, a complete supercompiler, including positive driving and generalization, is defined for a functional language and illustrated with examples. Then a taxonomy of related transformers is given and compared to the supercompiler. Finally, we put supercompilation into the larger perspective of metacomputation and consider three metacomputation... (Update)
Context of citations to this paper: More
.... xs and a call to iscons with three arguments (cf. Example 1) The order of the arrows is important, since it 1 Gl uck S rensen [4] have presented a method for preventing non termination and performing generalisations of dangerous terms, as it were, based on certain...
.... is de ned by precisely one non recursive clause whose body consists of precisely one atom (in this sense, according to the terminology of [13], partial evaluation of logic programs is said to be monogenetic) and (ii) the folding rule uses only clauses introduced by the de...
Cited by: More
Forward Slicing by Partial Evaluation - Vidal (Correct)
Derivation of Efficient Logic Programs by.. - Pettorossi, Proietti, .. (2001) (Correct)
From Checking to Inference via Driving and Dag Grammars - Secher, Sĝrensen (2002) (Correct)
Active bibliography (related documents): More All
1.9: A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
1.9: A Constraint-based Partial Evaluator for Functional Logic.. - Lafave (1998) (Correct)
1.8: Occam's Razor in Metacomputation: the Notion of a Perfect.. - Glück, Klimov (1993) (Correct)
Similar documents based on text: More All
0.8: On Perfect Supercompilation - Secher, Sĝrensen (1999) (Correct)
0.8: A Positive Supercompiler - Sørensen, Glück, Jones (1993) (Correct)
0.8: Towards Unifying Partial Evaluation, Deforestation.. - Sĝrensen, Glück, Jones (1994) (Correct)
Related documents from co-citation: More All
3: Occam's razor in metacomputation: the notion of a perfect process tree - Gl, Klimov - 1993
3: Conjunctive partial deduction: Foundations (context) - De Schreye, Glck et al. - 1999
2: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
BibTeX entry: (Update)
Gl uck, R., and S rensen, M. A roadmap to metacomputation by supercompilation. In Partial Evaluation (1996), O. Danvy, R. Gluck, and P. Thiemann, Eds., vol. 1110 of Lecture Notes in Computer Science, Springer-Verlag, pp. 137-160. http://citeseer.comp.nus.edu.sg/114087.html More
@inproceedings{ gluck96roadmap,
author = "Robert Gl{\"u}ck and Morten Heine S{\o}rensen",
title = "A roadmap to metacomputation by supercompilation",
booktitle = "Selected papers of the International
Seminar ``Partial Evaluation''",
series = "Lecture Notes in Computer Science",
volume = "1110",
publisher = "Springer-Verlag",
editor = "Olivier Danvy and Robert Gl{\"u}ck
and Peter Thiemann",
pages = "137--160",
month = "February",
year = "1996",
url = "citeseer.comp.nus.edu.sg/114087.html" }
Citations (may not include all citations):788 Rewrite systems - Dershowitz, Jouannaud - 1992
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
385 A transformation system for developing recursive programs - Burstall, Darlington - 1977
343 Introduction to Metamathematics (context) - Kleene - 1952
333 Introduction to Functional Programming (context) - Bird, Wadler - 1988
324 Deforestation: Transforming programs to eliminate intermedia.. - Wadler - 1990
309 Symbolic Logic and Mechanical Theorem Proving (context) - Chang, Lee - 1973
224 Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991
206 Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993
98 Mix: a self-applicable partial evaluator for experiments in .. (context) - Jones, Sestoft et al. - 1989
85 An experiment in partial evaluation: the generation of a com.. (context) - Jones, Sestoft et al. - 1985
82 Tutorial in specialisation of logic programs (context) - Gallagher - 1993
76 a better support of static data flow - Consel, Danvy - 1991
58 Ensuring global termination of partial deduction while allow.. - Martens, Gallagher - 1995
48 A conceptual embedding of folding into partial deduction: To.. (context) - Leuschel, De Schreye et al. - 1995
39 Journal of Functional Programming (context) - Gluck, generation - 1994
38 Loop checking in partial deduction (context) - Bol - 1993
38 Partial deduction and driving are equivalent - Gluck, Sorensen - 1994
37 Global control for partial deduction through characteristic .. (context) - Leuschel, Martens
37 Occam's razor in metacomputation: the notion of a perfect pr.. (context) - Gluck, Klimov - 1993
35 Partial Evaluation and Mixed Computation (context) - Bjorner, Ershov et al. - 1988
30 An algorithm of generalization in positive supercompilation (context) - Sorensen, Gluck - 1995
30 Unfolding -- definition -- folding (context) - Proietti, Pettorossi - 1991
29 An introduction to partial deduction (context) - Komorowski - 1992
28 Journal of Functional Programming (context) - Sorensen, Gluck et al. - 1996
28 When will deforestation stop (context) - Ferguson, Wadler - 1988
28 Narrowing-driven partial evaluation of functional logic prog.. - Alpuente, Falaschi et al. - 1996
27 Efficient multi-level generating extensions for program spec.. - Gluck, Jorgensen - 1995
27 Total correctness by local improvement in program transforma.. - Sands - 1995
26 The essence of program transformation by partial evaluation .. (context) - Jones - 1994
26 Partial evaluation of pattern matching in constraint logic p.. (context) - Smith - 1991
26 Polyvariant mixed computation for analyzer programs (context) - Bulyonkov - 1984
25 the essence of compilation (context) - Ershov - 1978
24 Proving the correctness of recursion-based automatic program.. - Sands - 1995
21 Implementation of multiple specialization in logic programs - Puebla, Hermenegildo - 1995
20 Partial Evaluation (context) - Danvy, Gluck et al. - 1996
19 Program transformation with metasystem transitions (context) - Turchin - 1993
18 Parameterized partial evaluation (context) - Consel, Khoo - 1993
17 A compiler generator produced by a self-applicable specializ.. (context) - Romanenko
16 Experiments with a supercompiler (context) - Turchin, Nirenberg et al. - 1982
16 Arity raiser and its use in program specialization (context) - Romanenko - 1990
15 A partial evaluator and its use as a programming tool (context) - Beckman, Haraldson et al. - 1976
14 Controlling conjunctive partial deduction of definite logic .. - Gluck, Jorgensen et al. - 1996
14 Columbia University Press (context) - Turchin, of - 1977
13 Generating transformers for deforestation and supercompilati.. - Gluck, Jorgensen - 1994
13 A self-applicable supercompiler - Nemytykh, Pinchuk et al.
13 A self-applicable supercompiler - Turchin, Nemytykh - 1995
13 Call-by-name CPS-translation as a binding-time improvement - Nielsen, Sorensen
12 Towards multiple self-application (context) - Gluck - 1991
12 The use of metasystem transition in theorem proving and prog.. (context) - Turchin - 1980
12 the partial computation principle (context) - Ershov - 1977
11 Partial evaluation of computing process -- an approach to a .. (context) - Futamura - 1971
11 A supercompiler system based on the language Refal (context) - Turchin - 1979
11 Partial computation of programs (context) - Futamura - 1983
10 Application of metasystem transition to function inversion a.. (context) - Gluck, Turchin - 1990
10 Inversion and metacomputation (context) - Romanenko - 1991
10 the mechanics of metasystem hierarchies in program transform.. (context) - Gluck - 1996
10 and generalized partial computation (context) - Sorensen, Gluck et al. - 1994
8 Lisp as the language for an incremental computer (context) - Lombardi, Raphael - 1964
8 Transactions on Programming Languages and Systems (context) - Turchin, of et al. - 1986
7 Courant Institute of Mathematical Sciences (context) - Turchin, Refal et al. - 1980
7 New England Publishing Co (context) - Turchin, Programming et al. - 1989
7 Metavariables: their implementation and use in program trans.. (context) - Turchin, Nemytykh - 1995
7 The generation of inverse functions in Refal (context) - Romanenko
6 Semantic definitions in Refal and the automatic production o.. (context) - Turchin - 1980
6 Function inversion (context) - Harrison
6 Metacomputation as a tool for formal linguistic modeling (context) - Gluck, Klimov - 1994
5 Turchin's supercompiler revisited (context) - Sorensen - 1994
5 Metacomputation and program testing (context) - Abramov - 1993
5 Generalized partial computation using disunification to solv.. (context) - Takano - 1993
5 Metacomputation and its application (context) - Abramov, prilozhenija - 1995
5 Program evaluation and generalized partial computation (context) - Futamura - 1988
4 Special issue on partial deduction (context) - Komorowski - 1993
4 Metavychislenija i logicheskoe programmirovanie (context) - Abramov - 1991
4 A constructive interpretation of the full set theory (context) - Turchin - 1987
4 Incremental computation (context) - Lombardi - 1967
4 Ehkvivalentnye preobrazovanija rekursivnykh funkcij na Refal.. (context) - Turchin - 1972
4 Metasystem transition schemes in computer science and mathem.. (context) - Gluck, Klimov - 1995
3 Keldysh Institute of Applied Mathematics (context) - Klimov, Romanenko et al. - 1987
3 Dynamic specialization in extended functional language with .. (context) - Klimov - 1991
3 The algorithm of generalization (context) - Turchin
3 On cybernetic epistemology (context) - Turchin - 1993
2 Metacomputation: MST plus SCP (context) - Turchin
1 Sistema programmirovanija Refal-2 dlja ES (context) - Klimov, Romanenko - 1987
1 Projections for knowledge based systems (context) - Gluck - 1992
1 A practical turing machine representation (context) - Nirenberg - 1986
1 An efficient interpreter for the language Refal (context) - Florencev, Oljunin et al. - 1969
1 Ehkvivalentnye preobrazovanija programm na Refale (context) - Turchin - 1974
1 Reasoning about hierarchies of online program specialization.. - Hatcliff, Gluck
1 Progonka dlja programm na Refale (context) - Romanenko - 1987
1 The cybernetic ontology of action (context) - Turchin - 1993
1 Programmirovanie na jazyke Refal (context) - Turchin - 1971
1 a method of automatically writing computer programs (context) - Dixon - 1971
1 Bazisnyj Refal i ego realizacija na vychislitelnykh mashinak.. (context) - Turchin, Klimov et al. - 1977
1 Metajazyk dlja formal'nogo opisanija algoritmicheskikh jazyk.. (context) - Turchin - 1966
1 osnovannyj na metode chastichnykh vychislenij (context) - Abramov, Kondratiev - 1982
1 Jazyk programmirovanija Refal Pljus (context) - Gurin, Romanenko - 1991
1 On generalization of lists and strings in supercompilation (context) - Turchin - 1995
1 Teoreticheskie osnovy sintaksicheskogo otozhdestvlenija v ja.. (context) - Klimov, Romanenko et al. - 1973
1 Reduction of language hierarchies (context) - Gluck, Klimov - 1995
Documents on the same site (http://www.diku.dk/research-groups/topps/bibliography/1996.html): More
What Not to Do When Writing an Interpreter for Specialisation - Jones (1996) (Correct)
Controlling Conjunctive Partial Deduction of.. - Glück, Jĝrgensen.. (1996) (Correct)
Bootstrapping Higher-Order Program Transformers from.. - Sperber, Glück, Thiemann (1996) (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.