Efficient Reordering of Prolog Programs.
Markian M. Gooley, Benjamin W. Wah:
Efficient Reordering of Prolog Programs.
IEEE Trans. Knowl. Data Eng. 1(4): 470-482(1989)@article{DBLP:journals/tkde/GooleyW89,
author = {Markian M. Gooley and
Benjamin W. Wah},
title = {Efficient Reordering of Prolog Programs},
journal = {IEEE Trans. Knowl. Data Eng.},
volume = {1},
number = {4},
year = {1989},
pages = {470-482},
ee = {db/journals/tkde/GooleyW89.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1989 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 3 Issue 2, TODS 1991-1995, TKDE 1989-1992" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...
BibTeX
References
- [1]
- ...
- [2]
- Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen:
Abstract Interpretation: Towards the Global Optimization of Prolog Programs.
SLP 1987: 192-204 BibTeX
- [3]
- Maurice Bruynooghe, Luís Moniz Pereira:
Deduction Revision by Intelligent Backtracking.
Implementations of Prolog 1984: 194-215 BibTeX
- [4]
- Maurice Bruynooghe, Gerda Janssens:
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing.
ICLP/SLP 1988: 669-683 BibTeX
- [5]
- ...
- [6]
- W. F. Clocksin, Chris Mellish:
Programming in Prolog, 3rd Edition.
Springer 1987, ISBN 3-540-17539-3
BibTeX
- [7]
- ...
- [8]
- Saumya K. Debray:
Optimizing Almost-Tail-Recursive Prolog Programs.
FPCA 1985: 204-219 BibTeX
- [9]
- Saumya K. Debray, David Scott Warren:
Automatic Mode Inference for Prolog Programs.
SLP 1986: 78-88 BibTeX
- [10]
- ...
- [11]
- Markian M. Gooley, Benjamin W. Wah:
Efficient Reordering of Prolog Programs.
ICDE 1988: 110-117 BibTeX
- [12]
- ...
- [13]
- ...
- [14]
- ...
- [15]
- Heikki Mannila, Esko Ukkonen:
Flow Analysis of Prolog Programs.
SLP 1987: 205-214 BibTeX
- [16]
- Chris Mellish:
Some Global Optimizations for a Prolog Compiler.
J. Log. Program. 2(1): 43-66(1985) BibTeX
- [17]
- Chris Mellish:
Abstract Interpretation of Prolog Programs.
ICLP 1986: 463-474 BibTeX
- [18]
- Alan Mycroft, Richard A. O'Keefe:
A Polymorphic Type System for Prolog.
Artif. Intell. 23(3): 295-307(1984) BibTeX
- [19]
- ...
- [20]
- ...
- [21]
- David E. Smith, Michael R. Genesereth:
Ordering Conjunctive Queries.
Artif. Intell. 26(2): 171-215(1985) BibTeX
- [22]
- Zoltan Somogyi:
A System of Precise Models for Logic Programs.
ICLP 1987: 769-787 BibTeX
- [23]
- Leon Sterling, Ehud Y. Shapiro:
The Art of Prolog - Advanced Programming Techniques.
MIT Press 1986, ISBN 0-262-19250-0
BibTeX
- [24]
- Hisao Tamaki, Taisuke Sato:
Unfold/Fold Transformation of Logic Programs.
ICLP 1984: 127-138 BibTeX
- [25]
- David H. D. Warren:
Efficient Processing of Interactive Relational Data Base Queries expressed in Logic.
VLDB 1981: 272-281 BibTeX
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:27:03 2009