Communication with directed logic variables

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Communication with directed logic variables

Full text

Pdf (1.32 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

Orlando, Florida, United States

Pages: 221 - 232

Year of Publication: 1991

ISBN:0-89791-419-8

Authors

Alon Kleinman	Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot 76100, Israel
Yael Moscowitz	Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot 76100, Israel
Amir Pnueli	Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot 76100, Israel
Ehud Sharpio	Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot 76100, Israel

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 18, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

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/99583.99615 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	Abadi, M., and Lamport, L., The Existence of Refinement Mappings, Proc. 3rd Annual Symposium on Logic in Computer Science, pp. 165-175, IEEE, 1988.
	2	Ackerman, W.B., Dataflow Languages, IEEE Computer, 15(2), pp. 15-25, 1982.
	3	Pierre America , Jaco de Bakker , Joost N. Kok , Jan J. M. M. Rutten, Operational semantics of a parallel object-oriented language, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.194-208, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512662]
	4	Clark, K.L., and Gregory, S., PARLOG: A Parallel Logic Programming Language, Research Report, DOC 83/5, Dept. of Computing, Imperial College, 1983.
	5	Ian Foster , Stephen Taylor, Flat parlog: a basis for comparison, International Journal of Parallel Programming, v.16 n.2, p.87-125, April 1987 [doi>10.1007/BF01379097]
	6	Foster. I., and Taylor, S., Strand: A Practical Parallel Programming Language, Proc. North American Conference on Logic Programming, edited by Lusk, E., L., and Overbeek, R., A., MIT Press, pp. 497-512, 1989.
	7	Gaifman. H., Maher. M., and Shapiro. E., Full Abstraction for Asynchronous Concurrency, in preparation.
	8	Gaifman H., Maher, M., J., and Shapiro, E., Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs, submitted, 1990.
	9	Hewitt, C., A Universal, Modular Actor Formalism for Artificial Intelligence, Proc. International Joint Conference on Artificial Intelligence, 1973.
	10	Hirata, M., Programming Language Doc and its Self-description, or, X = X is Considered Harmful, Proc. 3rd Conference of :Japan Society of Software Science and Technology, pp. 69-72, 1986.
	11	Hirata, M., Parallel List Processing Language Oc and its Self-description, Computer Software 4(3), pp. 41-64, 1987 (in Japanese).
	12	C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
	13	Kahn, K., M., and Kornfeld, W., A., Money as a Concurrent Logic Program, Proc. North American Conference on Logic Programming, edited by Lusk, E., L., and Overbeek, R., A., MIT Press, pp. 513- 534, 1989.
	14	Kahn, K., and Saraswat, V.A., Actors as a Special Case of Concurrent Constraint (Logic) Programming, Xerox Technical Report, 1990.
	15	Alon Kleinman , Yoram Moses , Ehud Shapiro, Distributed variable server for atomic unification, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.59-74, August 22-24, 1990, Quebec City, Quebec, Canada [doi>10.1145/93385.93401]
	16	E. Yardeni , S. Kliger , K. Kahn , E. Shapiro, The languages FCP(:) and FCP(:,?), New Generation Computing, v.7 n.2-3, p.89-107, 1990 [doi>10.1007/BF03037201]
	17	B. Liskov , L. Shrira, Promises: linguistic support for efficient asynchronous procedure calls in distributed systems, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.260-267, June 20-24, 1988, Atlanta, Georgia, United States
	18	Zohar Manna , Amir Pnueli, Completing the Temporal Picture, Proceedings of the 16th International Colloquium on Automata, Languages and Programming, p.534-558, July 11-15, 1989
	19	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.
	20	M. S. Miller , D. G. Bobrow , E. D. Tribble , J. Levy, Logical secrets, Concurrent Prolog: collected papers, MIT Press, Cambridge, MA, 1988
	21	Sape J. Mullender , Guido van Rossum , Andrew S. Tanenbaum , Robbert van Renesse , Hans van Staveren, Amoeba: A Distributed Operating System for the 1990s, Computer, v.23 n.5, p.44-53, May 1990 [doi>10.1109/2.53354]
	22	Bruce Jay Nelson, Remote procedure call, 1981
	23	Vijay A. Saraswat, Partial correctness semantics for CP [ , \| , &], Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science, p.347-368, December 16-18, 1985
	24	Vijay Anand Saraswat , Dana S. Scott, Concurrent constraint programming languages, 1989
	25	Vijay A. Saraswat , Ken Kahn , Jacob Levy, Janus: a step towards distributed constraint programming, Proceedings of the 1990 North American conference on Logic programming, p.431-446, January 1990, Austin, Texas, United States
	26	Shapiro, E., A Subset of Concurrent Prolog, Technical Report CS83-06, Weizmann Institute of Science, 1983.
	27	E. Shapiro, Concurrent prolog: collected papers, MIT Press, Cambridge, MA, 1987
	28	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]
	29	Rob Strom , Shaula Yemini, Optimistic recovery in distributed systems, ACM Transactions on Computer Systems (TOCS), v.3 n.3, p.204-226, Aug. 1985 [doi>10.1145/3959.3962]
	30	A. S. Tanenbaum, Computer networks, Prentice-Hall, Inc., Upper Saddle River, NJ, 1988
	31	Stephen Taylor , Evyatar Av-Ron , Ehud Shapiro, A layered method for process and code mapping, New Generation Computing, v.5 n.2, p.185-205, Oct. 1987 [doi>10.1007/BF03037398]
	32	Stephen Taylor, Parallel logic programming techniques, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
	33	Ueda, K., and Furukawa, K., Transformation Rules for GttC Programs, Proc. International Conference on Fifth Generation Computer Science, pp. 582- 591, 1988.
	34	Unix Reference Manual ~ Reference Guide, Univ. of California, 1984.

CITED BY 2

	Ehud Shapiro, Separating concurrent languages with categories of language embeddings, Proceedings of the twenty-third annual ACM symposium on Theory of computing, p.198-208, May 05-08, 1991, New Orleans, Louisiana, United States
	Yaron Goldberg , Marilyn Safran , Ehud Shapiro, Active mail—a framework for implementing groupware, Proceedings of the 1992 ACM conference on Computer-supported cooperative work, p.75-83, November 01-04, 1992, Toronto, Ontario, Canada