Laura Lafave  Home/Search
Context Related
| cs.bris.ac.uk/pub/...999lafave0.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: ncstrl.org:3803...CSEXT1999185 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The aim of this work is the development and application of a partial evaluation procedure for rewriting-based functional logic programs. Functional logic programming languages unite the two main declarative programming paradigms. The rewriting-based computational model extends traditional functional programming languages by incorporating logical features, including logical variables and built-in search, into its framework. This work is the first to address the automatic specialisation of these ... (Update)
Context of citations to this paper: More
.... This technique has been studied, among others, in the context of functional [12, 21] logic [14, 25] and functional logic [6, 22] programming languages. A common motivation of all partial evaluation techniques is to improve the efficiency of a program while...
.... their input (hence also called program specialization) This technique has been studied, among others, in the context of functional [12, 21], logic [14, 25] and functional logic [6, 22] programming languages. A common motivation of all partial evaluation techniques is to...
Cited by: More
Regular Trees as an Abstract Domain for Program Specialisation - Gallagher, Peralta (2000) (Correct)
Program Adaptation via Output-Constraint Specialization - Khoo, Shi (Correct)
Realistic Program Specialization in a Multi-Paradigm Language - Albert, Hanus, Vidal (2000) (Correct)
Active bibliography (related documents): More All
16.0: A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
1.9: A Roadmap to Metacomputation by Supercompilation - Glück, Sørensen (1996) (Correct)
1.4: Constraints to Stop Deforestation - Seidl, Sørensen (1998) (Correct)
Similar documents based on text: More All
0.2: Automatic Runtime Analysis for First Order Functional Programs - Frederiksen (2002) (Correct)
0.1: Using Inuence Diagrams in Software Change Management - Colin Burgess Department (Correct)
0.1: Inductive Synthesis of Equational Programs - Dershowitz, Pinchover (1990) (Correct)
Related documents from co-citation: More All
5: Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991
4: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
3: Partial Evaluation of Functional Logic Programs - Alpuente, Falaschi et al. - 1998
BibTeX entry: (Update)
L. Lafave. A Constraint-Based Partial Evaluator for Functional Logic Programs and its Application. PhD thesis, Department of Computer Science, October 1998. http://citeseer.ist.psu.edu/lafave98constraintbased.html More
@techreport{ lafave99constraintbased,
author = "Laura Lafave",
title = "A Constraint-based Partial Evaluator for Functional Logic Programs and its Application",
number = "CS-EXT-1999-185",
month = "1,",
year = "1999",
url = "citeseer.ist.psu.edu/lafave98constraintbased.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1993
1726 Graph Based Algorithms for Boolean Function Manipulation - Bryant - 1986
1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
815 Abstract Interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
634 A Machine-Oriented Logic based on the Resolution Principle (context) - Robinson - 1965
510 Symbolic Boolean Manipulation with Ordered Binary-Decision D.. - Bryant - 1992
474 Term rewriting systems - Klop - 1992
373 Constraint Logic Programming: A Survey - Jaffar, Maher - 1994
347 Fast Pattern Matching in Strings (context) - Knuth, Morris et al. - 1977
343 Introduction to Metamathematics (context) - Kleene - 1952
324 Deforestation: Transforming Programs to Eliminate Trees - Wadler - 1990
324 Deforestation: Transforming Programs to Eliminate Trees - Wadler - 1988
254 The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
250 Automatic Discovery of Linear Restraints among Variables of .. - Cousot, Halbwachs - 1978
229 Theory of recursive functions and effective computability (context) - Rogers - 1967
224 Partial Evaluation in Logic Programming (context) - Lloyd, Shepherdson - 1991
172 Journal of Symbolic Computation (context) - Dershowitz, rewriting - 1987
129 Transformation of logic programs: Foundations and techniques (context) - Pettorossi, Proietti - 1994
121 Logic Programming with Functions and Predicates (context) - Moreno-Navarro, iguez-Artalejo - 1992
112 Partial evaluation of computation process - an approach to a.. - Futamura - 1971
108 Ordering by Divisibility in Abstract Algebras (context) - Higman - 1952
98 Mix: A self-applicable partial evaluator for experiments in .. (context) - Jones, Sestoft et al. - 1988
87 Narrowing as the Operational Semantics of Functional Languag.. (context) - Reddy - 1985
85 An experiment in partial evaluation: The generation of a com.. (context) - Jones, Sestoft et al. - 1985
81 SLOG: A Logic Programming Language Interpreter Based on Clau.. (context) - Fribourg - 1985
77 Constructive Negation for Constraint Logic Programming (context) - Stuckey - 1991
76 a better support of static data flow - Consel, Danvy - 1991
74 Replacing function parameters by global variables (context) - Sestoft - 1988
70 ACM Transactions on Programming Languages and Systems (context) - Turchin, of et al. - 1986
65 Specifications are not (context) - Hayes, Jones - 1989
64 Efficient type inference for higher-order binding-time analy.. - Henglein - 1991
58 Ensuring Global Termination of Partial Deduction while Allow.. - Martens, Gallagher - 1995
56 An Introduction to Partial Evaluation (context) - Jones - 1996
54 A unified computation model for functional and logic program.. (context) - Hanus - 1997
52 Compiling Logic Programs with Equality (context) - Hanus - 1990
50 Constraint Handling Rules - Fruhwirth - 1994
45 Declarative Programming in Escher - Lloyd - 1995
44 The Derivation of an Algorithm for Program Specialisation (context) - Gallagher, Bruynooghe - 1991
44 Equational reasoning and term rewriting systems - Plaisted - 1993
41 Logic and Functional programming language (context) - Bert, Echahed et al. - 1986
41 Continuation-Based Partial Evaluation - Lawall, Danvy - 1994
41 Compiling scientific code using partial evaluation - Berlin, Weise - 1990
39 Partial Evaluation of Functional Logic Programs - Alpuente, Falaschi et al. - 1996
39 Journal of Functional Programming (context) - Srensen, Gluck et al. - 1996
39 Programming in an Integrated Functional and Logic Language - Lloyd
38 Self-Applicable Partial Evaluation (context) - Bondorf - 1990
38 Partial Deduction and Driving are Equivalent - Gluck, Srensen - 1994
38 On well-quasi-ordering finite trees (context) - St, Nash-Williams - 1963
38 odel Programming Language (context) - Hill, Lloyd - 1994
38 Non-Resolution Theorem Proving (context) - Bledsoe - 1977
37 Global Control for Partial Deduction through Characteristic .. (context) - Leuschel, Martens
37 Partial Evaluation of Pattern Matching in Strings - Consel, Danvy - 1989
37 Occam's Razor in Metacomputation: the Notion of a Perfect Pr.. (context) - Gluck, Klimov - 1993
35 Generalized Partial Computation (context) - Futamura, Nogi - 1988
32 Automatic Methods for Program Transformation (context) - Chin - 1990
31 Specialization of Lazy Functional Logic Programs - Alpuente, Falschi et al. - 1997
30 A Specification of an Abstract Prolog Machine and its Applic.. (context) - Komorowski - 1981
29 Automatic Call Unfolding in a Partial Evaluator (context) - Sestoft - 1988
29 Theoretical Computer Science (context) - Bosco, Giovannetti et al. - 1988
28 When will deforestation stop (context) - Ferguson, Wadler - 1988
28 Narrowing-driven Partial Evaluation of Functional Logic Prog.. - Alpuente, Falaschi et al. - 1996
28 A Self-Applicable Partial Evaluator for the Logic Programmin.. (context) - Gurr - 1993
28 Automatic binding time analysis for a typed -calculus (context) - Nielson, Nielson - 1988
28 Safe fusion of functional expressions II: Further improvemen.. (context) - Chin - 1994
27 Total Correctness by Local Improvement in Program Transforma.. - Sands - 1995
27 The Semantic Challenge of Verilog HDL - Gordon - 1995
26 Partial Evaluation of Pattern Matching in Constraint Logic P.. (context) - Smith - 1991
25 the Essence of Compilation (context) - Ershov - 1978
24 Proving the Correctness of Recursion-Based Automatic Program.. - Sands - 1995
24 Freeman and Co (context) - Chvatal - 1983
23 Redundant argument filtering of logic programs - Leuschel, Srensen - 1996
23 Essence of Generalized Partial Computation (context) - Futamura, Nogi et al. - 1991
22 What Not to Do When Writing an Interpreter for Specialisatio.. - Jones
22 Constraint-based Partial Evaluation of Rewriting-based Funct.. (context) - Lafave, Gallagher - 1998
21 Ecological Partial Deduction: Preserving Characteristic Tree.. - Leuschel - 1995
21 the Semantics of Meta-Programming and the Control of Partial.. (context) - Martens - 1994
20 A transformational system for developing recursive programs (context) - Burstall, Darlington - 1977
20 Advanced Techniques for Logic Program Specialisation - Leuschel - 1997
20 Partial Evaluation (context) - Danvy, Gluck et al. - 1996
19 Synthesis of Eureka Predicates for Developing Logic Programs (context) - Proietti, Pettorossi - 1990
19 Higher order deforestation - Hamilton - 1996
18 The Automation of Reasoning: An Experimenter's Notebook with.. (context) - Wos - 1996
17 Deforestation for higher-order functions - Marlow, Wadler - 1992
17 An Algorithm of Generalization in Positive Supercompilation (context) - Srensen, Gluck - 1995
17 Narrowing and unification in functional programming - an eva.. (context) - Darlington, Guo - 1989
16 Improving Control in Functional Logic Program Specialization - Albert, Alpuente et al. - 1998
16 Regular approximation of computation paths in logic and func.. - Gallagher, Lafave
16 Experiments with a supercompiler (context) - Turchin, Nirenberg et al. - 1982
15 Constrained Partial Deduction and the Preservation of Charac.. - Leuschel, De Schreye - 1997
14 Extending deforestation for first order functional programs (context) - Hamilton - 1991
14 and Vazsonyi's conjecture (context) - Kruskal, the - 1960
14 Constraints to Stop Higher-Order Deforestation - Seidl, Srensen - 1997
13 Generalized partial computation for a lazy functional langua.. (context) - Takano - 1991
13 Resource-bounded partial evaluation (context) - Danvy, Hentze et al. - 1996
13 A Self-Applicable Supercompiler - Nemytykh, Pinchuk et al.
11 Towards Unifying Partial Evaluation (context) - Srensen, Gluck et al. - 1994
11 A Roadmap to Metacomputation by Supercompilation (context) - Gluck, Srensen
11 Partial Evaluation Techniques for Concurrent Programs - Marinescu, Goldberg - 1997
10 the Mechanics of Metasystem Hierarchies in Program Transform.. (context) - Gluck - 1996
10 Event and Cycle Semantics of Hardware Description Languages (context) - Gordon - 1998
10 BTA algorithms to ensure termination of off-line partial eva.. - Glenstrup, Jones - 1996
10 VCG: Visualization of Compiler Graphs - Sander - 1995
9 fold program transformations (context) - Kott - 1985
9 Abstracting numerical values in CLP (context) - Janssens, Bruynooghe et al. - 1994
8 LISP as the Language for an Incremental Computer (context) - Lombardi, Raphael - 1967
8 Fully lazy higher-order removal (context) - Chin - 1992
7 High-Level Implementations of Constraint Handling Rules - Fruhwirth, Brisset - 1995
7 Integer constraints to stop deforestation - Seidl - 1996
7 Deforestation for Higher-Order Functional Languages (context) - Marlow - 1996
6 Design and Implementation (context) - Robinson, Sibert et al. - 1982
6 Compile-Time Optimisation of Store Usage in Lazy Functional .. (context) - Hamilton - 1993
6 Resource-Bounded Partial Evaluation - Debray - 1997
6 Transforming programs to eliminate intermediate structures (context) - Hamilton, Jones - 1991
6 Language Independent RTL Semantics (context) - Gordon, Ghosh - 1998
6 Compiling Lazy Pattern-Matching (context) - Augustsson - 1985
6 A Grammar-based Data-flow Analysis to Stop Deforestation (context) - Srensen - 1994
5 HDL Compiler for Verilog Reference Manual (context) - Inc - 1996
5 Generalized partial computation using disunification to solv.. (context) - Takano - 1992
5 Synthesizing and Simulating ASICs and FPGAs using VHDL or Ve.. (context) - Smith, Design et al. - 1997
5 Generalising deforestation to all first-order functional pro.. (context) - Chin - 1991
5 Enhancing Partial Deduction via Unfold /Fold Rules - Pettorossi, Proietti et al. - 1997
4 Higher-order redundancy elimination - Thiemann - 1994
4 Incremental Computation (context) - Lombardi - 1964
4 Turchin's Supercompiler Revisited (context) - Srensen - 1996
4 Topics in Program Specialization and Analysis for Statically.. (context) - Dussart - 1997
4 Metasystem Transition Schemes in Computer Science and Mathem.. (context) - Gluck, Klimov - 1995
4 Experiments with a Self-applicable Supercompiler (context) - Gluck, Turchin - 1989
4 Proof planning: A practical approach to mechanised reasoning.. - Kerber - 1997
4 A Conceptual Embedding of Folding into Partial Deduction; To.. (context) - Leuschel, De Schreye et al. - 1996
4 Better Consumers for Program Specializations - Chin, Khoo - 1996
3 The algorithm of generalization (context) - Turchin - 1988
3 Synthesizable Verilog: syntax and semantics (context) - Gordon - 1997
3 Controlling conjunctive partial deduction - Gluck, Jrgensen et al. - 1996
3 Extending Homeomorphic Embedding in the Context of Logic Pro.. - Leuschel - 1997
3 A Toolkit for Static Analysis of Constraint Logic Programs - Saglam - 1998
3 Program Specialization via Algorithmic Unfold/Fold Transform.. - Pettorossi, Proietti - 1998
3 Automatic Generation of Compiled Simulations through Program.. (context) - Au, Weise et al. - 1991
2 University of Bristol (context) - Gallagher, for et al. - 1991
2 Computer Aided Tools for VLSI System Design (context) - McLauchlan - 1987
2 Verilog HDL : A Guide to Digital Design (context) - Palnitkar - 1996
2 A new means of ensuring termination of deforestation with an.. - Srensen - 1993
2 Also released as technical report CSL-TR (context) - Ruf, Online et al. - 1993
2 Partial Evaluation and Correctness - Welinder - 1997
2 ICOT Research Center Japan (context) - Sakai, Sato et al. - 1988
2 Information Propagation in Partial Evaluation by Constraints - Lafave, Gallagher - 1997
2 Digital Logic Simulation and Testing (context) - Miczo - 1986
2 Extending the Power of Automatic Partial Evaluators (context) - Lafave, Gallagher - 1998
2 The Role of Trace Abstractions in Program Specialisation Alg.. (context) - Gallagher, Lafave - 1998
1 An Introduction to the Concepts of Timing and Delay in Veril.. (context) - Blair
1 Simulation Speed in Hardware Description Languages (context) - Sanguinetti
1 A compilation of logic programs from various sources (context) - Leuschel, problems et al.
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