Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Science of Computer Programming Année : 2015

Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming

Résumé

Concurrent Constraint Programming (CCP) is a well-established declarative frame-work from concurrency theory. Its foundations and principles e.g., semantics, proof systems, axiomatizations, have been thoroughly studied for over the last two decades. In contrast, the development of algorithms and automatic verifica-tion procedures for CCP have hitherto been far too little considered. To the best of our knowledge there is only one existing verification algorithm for the standard notion of CCP program (observational) equivalence. In this paper we first show that this verification algorithm has an exponential-time complexity even for pro-grams from a representative sub-language of CCP; the summation-free fragment (CCP\+). We then significantly improve on the complexity of this algorithm by providing two alternative polynomial-time decision procedures for CCP\+ pro-gram equivalence. Each of these two procedures has an advantage over the other. One has a better time complexity. The other can be easily adapted for the full
Fichier principal
Vignette du fichier
SCP14-HAL.pdf (479.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01098502 , version 1 (25-12-2014)

Identifiants

Citer

Luis Fernando Pino Duque, Filippo Bonchi, Frank Valencia. Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming. Science of Computer Programming, 2015, 111, pp.135-155. ⟨10.1016/j.scico.2014.12.003⟩. ⟨hal-01098502⟩
224 Consultations
206 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More