Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSCD.2019.17
URN: urn:nbn:de:0030-drops-105243
URL: https://drops.dagstuhl.de/opus/volltexte/2019/10524/
Ehrhard, Thomas
Differentials and Distances in Probabilistic Coherence Spaces
| pdf-format: |
|
Abstract
In probabilistic coherence spaces, a denotational model of probabilistic functional languages, morphisms are analytic and therefore smooth. We explore two related applications of the corresponding derivatives. First we show how derivatives allow to compute the expectation of execution time in the weak head reduction of probabilistic PCF (pPCF). Next we apply a general notion of "local" differential of morphisms to the proof of a Lipschitz property of these morphisms allowing in turn to relate the observational distance on pPCF terms to a distance the model is naturally equipped with. This suggests that extending probabilistic programming languages with derivatives, in the spirit of the differential lambda-calculus, could be quite meaningful.
BibTeX - Entry
@InProceedings{ehrhard:LIPIcs:2019:10524,
author = {Thomas Ehrhard},
title = {{Differentials and Distances in Probabilistic Coherence Spaces}},
booktitle = {4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)},
pages = {17:1--17:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-107-8},
ISSN = {1868-8969},
year = {2019},
volume = {131},
editor = {Herman Geuvers},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10524},
URN = {urn:nbn:de:0030-drops-105243},
doi = {10.4230/LIPIcs.FSCD.2019.17},
annote = {Keywords: Denotational semantics, probabilistic coherence spaces, differentials of programs}
}
| Keywords: | Denotational semantics, probabilistic coherence spaces, differentials of programs | |
| Seminar: | 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) | |
| Issue date: | 2019 | |
| Date of publication: | 18.06.2019 |
