Indeterminate concurrent constraint programming: a fixpoint semantics for non-terminating computations

Authors:
Sven-Olof Nyström;Bengt Jonsson
Affiliations:
-;-
Venue:
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Year:
1993

Citing 0
Cited 3

An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations

Theoretical Computer Science
An abstract interpretation approach to termination of logic programs

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Models and emerging trends of concurrent constraint programming

Constraints

Quantified Score

Hi-index	0.00

Visualization

Abstract