Skip to Main content Skip to Navigation
Conference papers

Efficient computation of program equivalence for confluent concurrent constraint programming

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00909394
Contributor : Filippo Bonchi <>
Submitted on : Tuesday, November 26, 2013 - 11:10:37 AM
Last modification on : Friday, June 25, 2021 - 3:40:03 PM

Identifiers

Collections

Citation

Luis Pino, Filippo Bonchi, Frank D. Valencia. Efficient computation of program equivalence for confluent concurrent constraint programming. PPDP 2013 - 15th International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. pp.263-274, ⟨10.1145/2505879.2505902⟩. ⟨hal-00909394⟩

Share

Metrics

Record views

667