We investigate the subset of concurrent constraint programs (ccp) which are confluent in the sense that different process schedulings lead to the same possible outcomes. Confluence is an important and desirable property as it allows the program to be understood by considering any desired scheduling rule, rather than having to consider all possible schedulings. The subset of confluent programs is less expressive than full ccp. For example it cannot express fair merge although it can express demonic merge. We give a simple closure based denotational semantics for confluent ccp. We also study admissible programs which is a subset of confluent ccp closed under composition. We consider then applications of our results to give a framework for the efficient yet accurate analysis of full ccp. The basic idea is to approximate an arbitrary ccp program by an admissible program which is then analyzed.

Falaschi, M., Gabbrielli, M., Marriott, K., & Palamidessi, C. (1995). Confluence in Concurrent Constraint Programming. In Proc. Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95 (pp.531-545). Berlin : SPRINGER-VERLAG BERLIN.

Confluence in Concurrent Constraint Programming

FALASCHI, MORENO;
1995

Abstract

We investigate the subset of concurrent constraint programs (ccp) which are confluent in the sense that different process schedulings lead to the same possible outcomes. Confluence is an important and desirable property as it allows the program to be understood by considering any desired scheduling rule, rather than having to consider all possible schedulings. The subset of confluent programs is less expressive than full ccp. For example it cannot express fair merge although it can express demonic merge. We give a simple closure based denotational semantics for confluent ccp. We also study admissible programs which is a subset of confluent ccp closed under composition. We consider then applications of our results to give a framework for the efficient yet accurate analysis of full ccp. The basic idea is to approximate an arbitrary ccp program by an admissible program which is then analyzed.
3540600434
Falaschi, M., Gabbrielli, M., Marriott, K., & Palamidessi, C. (1995). Confluence in Concurrent Constraint Programming. In Proc. Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95 (pp.531-545). Berlin : SPRINGER-VERLAG BERLIN.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11365/38402
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo