A Confluent Relational Calculus for Higher-Order Programming with Constraints

Authors:
Joachim Niehren;Gert Smolka
Affiliations:
-;-
Venue:
CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
Year:
1994

Citing 0
Cited 3

Functional computation as concurrent computation

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Uniform confluence in concurrent computation

Journal of Functional Programming
Models and emerging trends of concurrent constraint programming

Constraints

Quantified Score

Hi-index	0.00

Visualization

Abstract