Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Environmental Bisimulation"'
Autor:
Valeria Vignudelli, Davide Sangiorgi
Publikováno v:
POPL '16
POPL '16, Jan 2016, St. Petersburg, United States. ⟨10.1145/2837614.2837651⟩
POPL
POPL '16, Jan 2016, St. Petersburg, United States. ⟨10.1145/2837614.2837651⟩
POPL
Environmental bisimulations for probabilistic higher-order languages are studied. In contrast with applicative bisimulations, environmental bisimulations are known to be more robust and do not require sophisticated techniques such as Howe’s in the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33b1c3e4ba484a583d8e30122f794de5
https://doi.org/10.1145/3350618
https://doi.org/10.1145/3350618
Publikováno v:
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. ⟨10.4230/LIPIcs.FSCD.2016.9⟩
[Research Report] RR-8905, Inria. 2016
Logical Methods in Computer Science
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), ⟨10.23638/LMCS-13(3:27)2017⟩
Logical Methods in Computer Science, 2017, 13 (3), ⟨10.23638/LMCS-13(3:27)2017⟩
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. ⟨10.4230/LIPIcs.FSCD.2016.9⟩
[Research Report] RR-8905, Inria. 2016
Logical Methods in Computer Science
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), ⟨10.23638/LMCS-13(3:27)2017⟩
Logical Methods in Computer Science, 2017, 13 (3), ⟨10.23638/LMCS-13(3:27)2017⟩
Long version of the corresponding FSCD paper; International audience; We present sound and complete environmental bisimilarities for a variant ofDybvig et al.’s calculus of multi-prompted delimited-control operators with dynamic promptgeneration. T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::18a11980f36b459beb067ce49bd29c15
https://hal.inria.fr/hal-01335959/document
https://hal.inria.fr/hal-01335959/document
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Eijiro Sumii
Publikováno v:
Theoretical Computer Science. (51-52):4358-4378
We develop a general method for proving properties of programs under arbitrary contexts–including (but not limited to) observational equivalence, space improvement, and a form of memory safety of the programs–in untyped call-by-value λ-calculus
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::16ce957feca762e77c2633face48e797
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.