Efficient computation of program equivalence for confluent concurrent constraint programming

Luis Pino; Filippo Bonchi; Frank D. Valencia

doi:10.1145/2505879.2505902

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Conference papers

Efficient computation of program equivalence for confluent concurrent constraint programming

Luis Pino ¹ Filippo Bonchi ² 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

2 LIP - Laboratoire de l'Informatique du Parallélisme

3 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]

Luis Pino ¹
Author
PersonId : 1912
IdHAL : lpinoIdRef : 183761472

Filippo Bonchi ²
Author
PersonId : 7733
IdHAL : filippo-bonchiIdRef : 188841970

Frank D. Valencia ^{1, 3}
Author
PersonId : 845697

1 COMETE - Concurrency, Mobility and Transactions (Bât Alan Turing, Campus de l'Ecole Polytechnique, 1 rue Honoré d'Estienne d'orves, 91120 Palaiseau (France) - France) StructId : 56040

LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau] (Route de Saclay 91128 PALAISEAU CEDEX - France) StructId : 2071
- X - École polytechnique (École polytechnique, 91128 Palaiseau Cedex - France) StructId : 300340
- CNRS - Centre National de la Recherche Scientifique : UMR7161 (France) StructId : 441569
Inria Saclay - Ile de France (1 rue Honoré d'Estienne d'Orves Bâtiment Alan Turing Campus de l'École Polytechnique 91120 Palaiseau - France) StructId : 118511
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009

2 LIP - Laboratoire de l'Informatique du Parallélisme (46 Allée d'Italie 69364 LYON CEDEX 07 - France) StructId : 35418

ENS Lyon - École normale supérieure - Lyon (15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07 - France) StructId : 6818
UCBL - Université Claude Bernard Lyon 1 (43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex - France) StructId : 194495
- Université de Lyon (92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 - France) StructId : 301088
Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
Université de Lyon (92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 - France) StructId : 301088
CNRS - Centre National de la Recherche Scientifique : UMR5668 / URA1398 (France) StructId : 441569

3 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau] (Route de Saclay 91128 PALAISEAU CEDEX - France) StructId : 2071

X - École polytechnique (École polytechnique, 91128 Palaiseau Cedex - France) StructId : 300340
CNRS - Centre National de la Recherche Scientifique : UMR7161 (France) StructId : 441569

Document type :

Conference papers

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

Complete list of metadata

https://hal.inria.fr/hal-00909394
Contributor : Filippo Bonchi Connect in order to contact the contributor
Submitted on : Tuesday, November 26, 2013 - 11:10:37 AM
Last modification on : Thursday, January 20, 2022 - 5:31:51 PM

Identifiers

HAL Id : hal-00909394, version 1
DOI : 10.1145/2505879.2505902

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⟩

Efficient computation of program equivalence for confluent concurrent constraint programming

Identifiers

Collections

Citation

Export

Metrics

301

Contact Legal Notice Personal Data

Efficient computation of program equivalence for confluent concurrent constraint programming

Identifiers

Collections

Citation

Export

Share

Metrics

301

Contact Legal Notice Personal Data