Distributed variable server for atomic unification

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Distributed variable server for atomic unification

Full text

Pdf (1.52 MB)

Source

Annual ACM Symposium on Principles of Distributed Computing archive
Proceedings of the ninth annual ACM symposium on Principles of distributed computing table of contents

Quebec City, Quebec, Canada

Pages: 59 - 74

Year of Publication: 1990

ISBN:0-89791-404-X

Authors

Alon Kleinman	Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot 76100, Israel
Yoram Moses	Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot 76100, Israel
Ehud Shapiro	Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot 76100, Israel

Sponsors

SIGOPS: ACM Special Interest Group on Operating Systems
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 8, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/93385.93401 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Bar-on, U., A Distributed Implementation of Flat Concurrent Prolog, M.Sc. Thesis, Weizmann Institute of Science, 1986.
	2	Philip A. Bernstein , Vassco Hadzilacos , Nathan Goodman, Concurrency control and recovery in database systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
	3	Ian Foster, Systems programming in parallel logic languages, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	4	Ginat, D., and Shankar, U., Decentralized Ordering of Contending Nodes in a Distributed System, Technical Report, University of Maryland, 1989.
	5	Hirata, M.~ Parallel List Processing Language Oc and its Self-description, computer software 4(3), pp. 41-64, 1987.
	6	Ichiyoshi, N., Miyazaki, T., and Taki, K., A Distributed Implementation of Flat GtIC on the Multi-PSI, Proceedings of the Fourth International Conference on Logic Programming, J.L. Lassez (ed.), MIT Press, Vol 1, pp. 257-275, 1987.
	7	Kleinman, A., Topics in Distributed Execution of Concurrent Logic Programming Languages with Atomic Unification, M.Sc. Thesis, Weizmann Institute of Science, 1989.
	8	Kliger, S., Yardeni, E., Kahn, K., and Shapiro, E., The Language FCP(:,?), Proceedings of the International Conference on Fifth Generation Computer Systems, Vol 2, pp. 763-773, 1988.
	9	J.-L. Lassez , M. J. Maher , K. Marriott, Unification revisited, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	10	Maher, M.J., Complete Axiomatizations of the Algebras of Finite, Rational and infinite Trees, Proceedings of the Third Annual Symphosium on Logic in Computer Science, pp 348-357, 1988.
	11	Mierowsky, C., Taylor, S., Shapiro, E., Levy, J., and Safra, S., The Design and Implementation of Flat Concurrent Prolog, Technical Report CS85~09, Weizmann Institute of Science, 1985.
	12	J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM (JACM), v.12 n.1, p.23-41, Jan. 1965 [doi>10.1145/321250.321253]
	13	Vijay Anand Saraswat , Dana S. Scott, Concurrent constraint programming languages, 1989
	14	Shapiro, E., A Subset of Concurrent Prolog and its Interpreter, Technical Report CS83- 06, Weizmann Institute of Science, 1983.
	15	Ehud Shapiro, The family of concurrent logic programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.413-510, Sep. 1989 [doi>10.1145/72551.72555]
	16	Silverman, W., ttirsch. M., Houri, A., and Shapiro, E., The Logix System User Manual Version 1.21, Technical Report CS86- 21, Weizmann Institute of Science, 1986.
	17	Szoke, D., Distributed Flat Concurrent Prolog on a Network Architecture, M.Sc. Thesis, Weizmann Institute of Science, 1987.
	18	Stephen Taylor, Parallel logic programming techniques, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
	19	Stephen Taylor , Shmuel Safra , Ehud Shapiro, A parallel implementation of flat concurrent prolog, International Journal of Parallel Programming, v.15 n.3, p.245-275, June 1986 [doi>10.1007/BF01414556]

CITED BY 2

	Haim Gaifman , Michael J. Maher , Ehud Shapiro, Replay, recovery, replication, and snapshots of nondeterministic concurrent programs, Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.241-255, August 19-21, 1991, Montreal, Quebec, Canada
	Alon Kleinman , Yael Moscowitz , Amir Pnueli , Ehud Sharpio, Communication with directed logic variables, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.221-232, January 21-23, 1991, Orlando, Florida, United States