ACM SIGMOD Anthology TKDE dblp.uni-trier.de

Logic Programming with Arrays.

Janice I. Glasgow, Michael A. Jenkins, Eli Blevis, Michel P. Féret: Logic Programming with Arrays. IEEE Trans. Knowl. Data Eng. 3(3): 307-319(1991)
@article{DBLP:journals/tkde/GlasgowJBF91,
  author    = {Janice I. Glasgow and
               Michael A. Jenkins and
               Eli Blevis and
               Michel P. F{\'e}ret},
  title     = {Logic Programming with Arrays},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {3},
  number    = {3},
  year      = {1991},
  pages     = {307-319},
  ee        = {db/journals/tkde/GlasgowJBF91.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Copyright © 1991 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]
Robert G. Bandes: Constraining-Unification and the Programming Language UNICORN. Logic Programming: Functions, Relations, and Equations 1986: 397-410 BibTeX
[2]
Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli: LEAF: A Language which Integrates Logic, Equations and Functions. Logic Programming: Functions, Relations, and Equations 1986: 201-238 BibTeX
[3]
...
[4]
...
[5]
...
[6]
...
[7]
...
[8]
Janice I. Glasgow, Michael A. Jenkins, Carl McCrosky: User Defined Parallel Control Strategies in Nial. SLP 1985: 22-28 BibTeX
[9]
...
[10]
...
[11]
...
[12]
Michael A. Jenkins, Janice I. Glasgow: A Logical Basis for Nested Array Data Structures. Comput. Lang. 14(1): 35-51(1989) BibTeX
[13]
...
[14]
...
[15]
...
[16]
...
[17]
...
[18]
Alberto Martelli, Ugo Montanari: Optimizing Decision Trees Through Heuristically Guided Search. Commun. ACM 21(12): 1025-1039(1978) BibTeX
[19]
Alberto Martelli, Ugo Montanari: An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4(2): 258-282(1982) BibTeX
[20]
...
[21]
Mike Paterson, Mark N. Wegman: Linear Unification. STOC 1976: 181-186 BibTeX
[22]
David Poole, Randy Goebel: Gracefully adding negation and disjunction to Prolog. ICLP 1986: 635-641 BibTeX
[23]
Uday S. Reddy: On the Relationship Between Logic and Functional Languages. Logic Programming: Functions, Relations, and Equations 1986: 3-36 BibTeX
[24]
John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) BibTeX
[25]
...
[26]
Masahiko Sato, Takafumi Sakurai: QUTE: A Functional Language Based on Unification. FGCS 1984: 157-165 BibTeX
[27]
...
[28]
Jörg H. Siekmann: Universal Unification. CADE 1984: 1-42 BibTeX
[29]
P. A. Subrahmanyam, Jia-Huai You: FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming. Logic Programming: Functions, Relations, and Equations 1986: 157-198 BibTeX
[30]
Zerksis D. Umrigar, Vijay Pitchumani: An Experiment in Programming with Full First-Order Logic. SLP 1985: 40-47 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:21 2009