Efficient computation of program equivalence for confluent concurrent constraint programming - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013
No file

Dates and versions

hal-00909394 , version 1 (26-11-2013)

Identifiers

Cite

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⟩
303 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More