The probability of non-confluent systems
We show how to provide a structure of probability space to the set of execution traces on a non-confluent abstract rewrite system, by defining a variant of a Lebesgue measure on the space of traces. Then, we show how to use this probability space to transform a non-deterministic calculus into a prob...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2014-03-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1404.0081v1 |
| _version_ | 1811275133790191616 |
|---|---|
| author | Alejandro Díaz-Caro Gilles Dowek |
| author_facet | Alejandro Díaz-Caro Gilles Dowek |
| author_sort | Alejandro Díaz-Caro |
| collection | DOAJ |
| description | We show how to provide a structure of probability space to the set of execution traces on a non-confluent abstract rewrite system, by defining a variant of a Lebesgue measure on the space of traces. Then, we show how to use this probability space to transform a non-deterministic calculus into a probabilistic one. We use as example Lambda+, a recently introduced calculus defined through type isomorphisms. |
| first_indexed | 2024-04-12T23:33:44Z |
| format | Article |
| id | doaj.art-55f4c5c0af1848a79678efe70f0cdfb4 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-04-12T23:33:44Z |
| publishDate | 2014-03-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-55f4c5c0af1848a79678efe70f0cdfb42022-12-22T03:12:13ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-03-01144Proc. DCM 201311510.4204/EPTCS.144.1:1The probability of non-confluent systemsAlejandro Díaz-CaroGilles DowekWe show how to provide a structure of probability space to the set of execution traces on a non-confluent abstract rewrite system, by defining a variant of a Lebesgue measure on the space of traces. Then, we show how to use this probability space to transform a non-deterministic calculus into a probabilistic one. We use as example Lambda+, a recently introduced calculus defined through type isomorphisms.http://arxiv.org/pdf/1404.0081v1 |
| spellingShingle | Alejandro Díaz-Caro Gilles Dowek The probability of non-confluent systems Electronic Proceedings in Theoretical Computer Science |
| title | The probability of non-confluent systems |
| title_full | The probability of non-confluent systems |
| title_fullStr | The probability of non-confluent systems |
| title_full_unstemmed | The probability of non-confluent systems |
| title_short | The probability of non-confluent systems |
| title_sort | probability of non confluent systems |
| url | http://arxiv.org/pdf/1404.0081v1 |
| work_keys_str_mv | AT alejandrodiazcaro theprobabilityofnonconfluentsystems AT gillesdowek theprobabilityofnonconfluentsystems AT alejandrodiazcaro probabilityofnonconfluentsystems AT gillesdowek probabilityofnonconfluentsystems |