Abstracting Properties in Concurrent Constraint Programming

Authors:
René Moreno
Affiliations:
-
Venue:
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Year:
1999

Citing 2
Cited 0

The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a denotational semantics for concurrent constraint programming based on derivations containing sequences of interactions of a process with the environment. Our semantic is then used as collecting semantics for abstretcting properties of computations by applying techniques of abstract interpretation.