Elvira Albert, Michael Hanus, Germán Vidal  @ NUS Home/Search
Context Related
| danae.unimuenster....JFLPA0201.ps.gz Cached: PS.gz PS PDF Image Update Help From: danae.unimuenster.de/le...S0201 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to previous approaches, we consider an intermediate representation for programs into which source programs can be automatically translated. The use of this simpli ed representation, together with the appropriate control issues, make our partial evaluation scheme practically applicable to modern multi-paradigm... (Update)
Context of citations to this paper: More
...languages, it is comparable to other meta interpreters. In particular, it is faster than previous meta interpreters for Curry (e.g. [3]) due to an improved handling of variable sharing. Thus, our implementation can be an appropriate basis for developing further tools...
Cited by: More
Rules + Strategies for Transforming Lazy Functional.. - Alpuente, Falaschi.. (2004) (Correct)
Towards Router Specification in Curry: The Language ROSE - Ramos, Silva, Vidal (Correct)
Time Equations for Lazy Functional (Logic) Languages - Albert, Silva, Vidal (Correct)
Similar documents (at the sentence level):
17.8%: A Practical Partial Evaluation Scheme for Multi-Paradigm.. - Albert, Hanus, Vidal (2002) (Correct)
7.0%: A Practical Partial Evaluator for a Multi-Paradigm.. - Albert, Hanus, Vidal (2001) (Correct)
Active bibliography (related documents): More All
1.4: Cost-Augmented Narrowing-Driven Specialization - Vidal (2002) (Correct)
1.3: Symbolic Profiling for Multi-Paradigm Declarative Languages - Albert, Vidal (2002) (Correct)
1.2: The Narrowing-Driven Approach to Functional Logic Program.. - Albert, Vidal (2002) (Correct)
Similar documents based on text: More All
0.4: A Practical Method for Program Specialization in a.. - Albert, Hanus, Vidal (2000) (Correct)
0.4: A Partial Evaluation Framework for Curry Programs - Albert, Alpuente, Hanus, Vidal (1999) (Correct)
0.2: A Formal Approach to Reasoning about the Effectiveness of.. - Albert, Antoy, Vidal (2000) (Correct)
Related documents from co-citation: More All
5: The Portland Aachen Kiel Curry System User Manual (context) - Hanus, Antoy et al. - 2000
5: ectiveness of Partial Evaluation in Functional Logic Languages (context) - Albert, Antoy et al.
5: Cost-Augmented Narrowing-Driven Specialization - Vidal - 2002
BibTeX entry: (Update)
E. Albert, M. Hanus, and G. Vidal. A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. Journal of Functional and Logic Programming, 2002(1), 2002. http://citeseer.comp.nus.edu.sg/664155.html More
@misc{ albert02practical,
author = "E. Albert and M. Hanus and G. Vidal",
title = "A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages",
text = "E. Albert, M. Hanus, and G. Vidal. A Practical Partial Evaluation Scheme
for Multi-Paradigm Declarative Languages. Journal of Functional and Logic
Programming, 2002(1), 2002.",
year = "2002",
url = "citeseer.comp.nus.edu.sg/664155.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
324 Deforestation: Transforming Programs to Eliminate Trees - Wadler - 1990
206 Tutorial notes on Partial Evaluation (context) - Consel, Danvy - 1993
171 A Needed Narrowing Strategy - Antoy, Echahed et al. - 2000
161 A Short Cut to Deforestation - Gill, Launchbury et al. - 1993
112 Partial Evaluation of Computation Process|An Approach to a C.. - Futamura - 1999
98 Mix: A Self-Applicable Partial Evaluator for Experiments in .. (context) - Jones, Sestoft et al. - 1989
89 Curry: An Integrated Functional Logic Language (context) - Hanus - 2000
89 Kernel Leaf: A Logic plus Functional Language (context) - Giovannetti, Levi et al. - 1991
82 Tutorial on Specialisation of Logic Programs (context) - Gallagher - 1993
78 A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, opez-Fraguas et al. - 1993
58 Ensuring Global Termination of Partial Deduction while Allow.. - Martens, Gallagher - 1995
39 Partial Evaluation of Functional Logic Programs - Alpuente, Falaschi et al. - 1998
38 Loop Checking in Partial Deduction (context) - Bol - 1993
36 A uni ed computation model for functional and logic programm.. (context) - Hanus - 1997
35 Logic Programming with Functions and Predicates: The languag.. (context) - Moreno-Navarro, Rodr - 1992
34 Distributed Programming in a Multi-Paradigm Declarative Lang.. - Hanus - 1999
31 Specialization of Lazy Functional Logic Programs - Alpuente, Falaschi et al. - 1997
28 Compiling Multi-Paradigm Declarative Programs into Prolog - Antoy, Hanus - 2000
28 Journal of Functional Programming (context) - rensen, Gl et al. - 1996
27 Conjunctive Partial Deduction: Foundations (context) - De Schreye, Gl et al. - 1999
26 the Power of Homeomorphic Embedding for Online Termination (context) - Leuschel - 1998
25 Program transformation (context) - Darlington - 1982
22 The Mixtus Approach to Automatic Partial Evaluation of Full .. (context) - Sahlin - 1990
20 The Portland Aachen Kiel Curry System User Manual (context) - Hanus, Antoy et al. - 2000
18 Occam's Razor in Metacomputation: the Notion of a Perfect Pr.. - Gl, Klimov - 1993
16 Improving Control in Functional Logic Program Specialization - Albert, Alpuente et al. - 1998
15 A Self-Applicable Partial Evaluator for Term Rewriting Syste.. (context) - Bondorf - 1989
14 Specialization of Functional Logic Programs Based on Needed .. - Alpuente, Hanus et al. - 1999
13 A Self-Applicable Supercompiler - Nemytykh, Pinchuk et al. - 1996
12 ectiveness of Partial Evaluation in Functional Logic Languag.. (context) - Albert, Antoy et al. - 2000
11 Using an Abstract Representation to Specialize Functional Lo.. (context) - Albert, Hanus et al. - 2000
11 Cost-Augmented Narrowing-Driven Specialization - an - 2002
10 Program Transformation by Supercompilation (context) - Turchin - 1985
9 Formally Based Pro ling for HigherOrder Functional Languages (context) - Sansom, Peyton-Jones - 1997
9 De nitional trees (context) - Antoy - 1992
9 TOY: A Multiparadigm Declarative System (context) - opez-Fraguas, anchez-Hern - 1999
9 The Narrowing-Driven Approach to Functional Logic Program Sp.. - Albert, Vidal - 2002
9 A Comparative Analysis of Partial Deductors for Pure Prolog (context) - Lam, Kusalik - 1991
9 A Practical Partial Evaluator for a Multi-Paradigm Declarati.. - Albert, Hanus et al. - 2001
8 Higher-Order Narrowing with De nitional Trees (context) - Hanus, Prehofer - 1999
8 A Partial Evaluation Framework for Curry Programs - Albert, Alpuente et al. - 1999
7 Turchin's Supercompiler Revisited: An Operational Theory of .. (context) - rensen - 1994
7 ProMiX: A Prolog Partial Evaluation System (context) - Lakhotia, Sterling - 1991
6 An Abstract Machine Based System for a Lazy Narrowing Calcul.. (context) - Hortal, alez et al. - 2001
6 An Ecient Abstract Machine for Curry (context) - Lux, Kuchen - 1999
5 The ecce Partial Deduction System - Leuschel - 1997
4 A Residualizing Semantics for the Partial Evaluation of Func.. (context) - Albert, Hanus et al. - 2002
4 Technical Report DSIC-II (context) - Albert, Alpuente et al. - 1998
3 Partial Evaluation of Multi-Paradigm Declarative Languages: .. (context) - Albert - 2001
3 Source-Level Abstract Pro ling of Multi-Paradigm Declarative.. (context) - Albert, Vidal - 2001
2 A General Criterion for Avoiding In nite Unfolding (context) - Bruynooghe, De Schreye et al. - 1992
1 An Algorithm of Generalization in Positive Supercompilation (context) - rensen, Gl - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/S02-01.html):
Subject Reduction of Logic Programs as Proof-Theoretic Propert - Deransart, Smaus (2002) (Correct)
A Simply Typed Context Calculus with First-Class Environments - Sato, Sakurai, Kameyama (2002) (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.