A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations

Autor: Geoffroy, Guillaume, Pistone, Paolo

Publikováno v: Proceedings of CSL 2021, 29th EACSL Annual Conference on Computer Science Logic
CSL 2021-Computer Science Logic
CSL 2021-Computer Science Logic, Jan 2021, Lubjana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.23⟩
Computer Science Logic, CSL 2021
Computer Science Logic, CSL 2021, Jan 2021, Lubjana, Slovenia

Program semantics is traditionally concerned with program equivalence. However, in fields like approximate, incremental and probabilistic computation, it is often useful to describe to which extent two programs behave in a similar, although non equiv

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf70662edb9fe07250d9691ffa6bea63

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.