ACM SIGMOD Anthology TKDE dblp.uni-trier.de

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.


Joint ACM SIGMOD / IEEE Computer Society Anthology

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