John Gallagher, Maurice Bruynooghe  Home/Search
Context Related
| cs.bris.ac.uk/pub/esprit...meta90.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: compsci.bristol.ac.uk/~...reports (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes an algorithm performing an analysis and transformation of logic programs. The transformation achieves two goals: redundant functors are removed from the program, and procedures may be split into two or more specialised versions handling different cases. It can be applied to most logic programming languages, including concurrent logic programming languages, because the transformations perform no unfolding of the program; they only remove some redundant operations within the... (Update)
Context of citations to this paper: More
...are analyzed, we may need to take advantage of all the useful specializations. However, the partial evaluation step may assist in overcoming some of the problems posed by more complicated resource descriptions as it can factor out common structure at argument level (see [6, 5]...
Cited by: More
Specialization of Lazy Functional Logic Programs - Alpuente, Falaschi, Julian.. (1997) (Correct)
Narrowing-driven Partial Evaluation of Functional Logic.. - Alpuente, Falaschi, Vidal (1996) (Correct)
Narrowing-driven Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (1996) (Correct)
Active bibliography (related documents): More All
0.6: Transformation of Logic Programs - Pettorossi, Proietti (1998) (Correct)
0.6: A System For Specialising Logic Programs - Gallagher (1991) (Correct)
0.3: Implementation of the imperative/rule based language PROGRES - Albert Zündorf (1992) (Correct)
Similar documents based on text: More All
0.3: Constraint Logic Programming: Applications and Implementation - Vandecasteele (1999) (Correct)
0.3: Inference of Well-typings for Logic Programs with.. - Bruynooghe.. (2005) (Correct)
0.2: Controlling Generalization and Polyvariance in Partial .. - Leuschel, Martens, De .. (1998) (Correct)
Related documents from co-citation: More All
23: Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991
13: Foundations of Logic Programming (context) - Lloyd - 1987
13: Ensuring global termination of partial deduction while allowing flexible polyvar.. - Martens, Gallagher - 1995
BibTeX entry: (Update)
J. Gallagher and M. Bruynooghe. Some low-level source transformations for logic programs. In M. Bruynooghe, editor, Proceedings of the Second Workshop on Meta-Programming in Logic, April 1990, Leuven, Belgium, pages 229--246. Department of Computer Science, KU Leuven, Belgium, 1990. http://citeseer.ist.psu.edu/gallagher90some.html More
@inproceedings{ gallagher90some,
author = "J. Gallagher and M. Bruynooghe",
title = "Some Low-Level Source Transformations for Logic Programs",
booktitle = "Proceedings of the Second Workshop on Meta-Programming in Logic, April 1990, Leuven, Belgium",
publisher = "Department of Computer Science, KU Leuven, Belgium",
editor = "M. Bruynooghe",
pages = "229--246",
year = "1990",
url = "citeseer.ist.psu.edu/gallagher90some.html" }
Citations (may not include all citations):138 Abstract Interpretation of Declarative Languages (context) - Abramsky, Hankin - 1987
70 A Semantics-Based Framework for the Abstract Interpretation .. (context) - Jones, Sondergaard
63 Transformational Systems and the Algebraic Structure of Atom.. (context) - Reynolds - 1974
46 Query Evaluation in Recursive Databases: Bottom-up and Top-d.. (context) - Bry - 1989
44 The Derivation of an Algorithm for Program Specialisation; t.. (context) - Gallagher, Bruynooghe - 1990
12 Path-Dependent Reachability Analysis for Multiple Specializa.. (context) - Winsborough - 1989
11 An Algorithm for Partial Evaluation with Constraints; ICOT T.. (context) - Fujita - 1987
7 Partial Evaluation of Concurrent Prolog and its Implications.. (context) - Safra - 1986
3 The Art of Prolog (context) - Sterling, Shapiro - 1986
2 Compiling Control; Journal of Logic Programming (context) - Bruynooghe, De Schreye et al. - 1989
2 Compiling Bottom-up and Mixed Derivations into Top-down Exec.. (context) - De Schreye, Martens et al. - 1989
1 Most Specific Logic Programs; Proceedings of the Fifth Inter.. (context) - Marriott, Naish et al. - 1988
1 Abstract Interpretation of Prolog Programs; Proc (context) - Mellish - 1986
1 Information Processing 89 (context) - Marriott, Sondergaard et al. - 1989
1 A Prolog Compiler for the PLM; Master's Report Plan II (context) - Van Roy - 1984
1 A Note on Inductive Generalisation; in Machine Intelligence .. (context) - Plotkin - 1974
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.compsci.bristol.ac.uk/~john/reports.html):
Schema-Based Top-Down Design of Logic Programs Using.. - Marakakis, Gallagher (1994) (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