Partial correctness semantics for CP [ , | , &]

Authors:
Vijay A. Saraswat
Affiliations:
-
Venue:
Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
Year:
1985

The concurrent logic programming language CP: Definition and operational semantics

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)
Concurrent constraint programming

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communication with directed logic variables

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Technical correspondence

Communications of the ACM

Hi-index	0.02