From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics

Authors:
Francisco Bueno;Manuel V. Hermenegildo;Ugo Montanari;Francesca Rossi
Affiliations:
-;-;-;-
Venue:
ALP '94 Proceedings of the 4th International Conference on Algebraic and Logic Programming
Year:
1994

Strategic directions in constraint programming

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Causal computing

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Some challenges for constraint programming

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Constraint solving and programming: what's next?

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint Programming: Strategic Directions

Constraints
Some Challenges for Constraint Programming

Constraints
Constraint Solving and Programming: What Next?

Constraints
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Concurrency, Graphs and Models

Hi-index	0.00