Efficient computation of program equivalence for confluent concurrent constraint programming - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2013

Efficient computation of program equivalence for confluent concurrent constraint programming

Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
317 Consultations
0 Téléchargements

Altmetric

Partager

More