Efficient computation of program equivalence for confluent concurrent constraint programming

Luis Pino 1 Filippo Bonchi 2 Frank D. Valencia 1, 3
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
2 LIP - Laboratoire de l'Informatique du Parallélisme
3 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Document type :
Conference papers
Ricardo Peña and Tom Schrijvers. PPDP 2013 - 15th International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. ACM, pp.263-274, 2013, 〈10.1145/2505879.2505902〉
Liste complète des métadonnées
https://hal.inria.fr/hal-00909394
Contributor : Filippo Bonchi <>
Submitted on : Tuesday, November 26, 2013 - 11:10:37 AM
Last modification on : Thursday, May 10, 2018 - 2:06:39 AM

Links full text

openaccess

Identifiers

Collections

ENS-LYON | INRIA | LIX | LIP | X | X-LIX | PARISTECH | UNIV-LYON1 | X-DEP-INFO

Citation

Luis Pino, Filippo Bonchi, Frank D. Valencia. Efficient computation of program equivalence for confluent concurrent constraint programming. Ricardo Peña and Tom Schrijvers. PPDP 2013 - 15th International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. ACM, pp.263-274, 2013, 〈10.1145/2505879.2505902〉. 〈hal-00909394〉

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

426

Contact


archive-ouverte@inria.fr