Efficient computation of program equivalence for confluent concurrent constraint programming

Type de document :
Communication dans un congrès
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
Contributeur : Filippo Bonchi <>
Soumis le : mardi 26 novembre 2013 - 11:10:37
Dernière modification le : mercredi 14 novembre 2018 - 16:10:03

Lien texte intégral

Identifiants

Collections

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〉

Partager

Métriques

Consultations de la notice

446