Výsledky vyhledávání - "Program logics"

Autor: Adithya Murali, Lucas Peña, P. Madhusudan, Christof Löding

Publikováno v: Cham, Switzerland : Springer, Lecture notes in computer science 12075, Theoretical Computer Science and General Issues 515-543 (2020). doi:10.1007/978-3-030-44914-8_19
Programming languages and systems : 29th European Symposium on Programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020: proceedings / Peter Müller (ed.)
Programming languages and systems : 29th European Symposium on Programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020: proceedings / Peter Müller (ed.)29. European Symposium on Programming, ESOP 2020, online, 2020-04-25-2020-04-30
Programming Languages and Systems ISBN: 9783030449131
ESOP
Programming Languages and Systems

We propose a novel logic, called Frame Logic (FL), that extends first-order logic (with recursive definitions) using a construct Sp(.) that captures the implicit supports of formulas -- the precise subset of the universe upon which their meaning depe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3f7fc29d65b4ef458a48b506ab8c778e
https://doi.org/10.1145/3583057

Zobrazit plný text záznamu

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.

Conference

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

Preuve de Programmes avec Effect Handlers

Autor: de Vilhena, Paulo

Publikováno v: Programming Languages [cs.PL]. Université Paris Cité, 2022. English. ⟨NNT : ⟩

This thesis addresses the problem of reasoning about programs that modify the heap and alter the control flow through effect handlers, a novel programming construct that provides a relatively simple interface to delimited control. This ability to man

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::de5375c080f657521a6731dba5c09464
https://inria.hal.science/tel-03891381

Zobrazit plný text záznamu

Akademický článek

An Abstraction Technique for Verifying Shared-Memory Concurrency

Autor: Wytse Oortwijn, Dilian Gurov, Marieke Huisman

Publikováno v: Applied Sciences, Vol 10, Iss 11, p 3928 (2020)

Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability. To be able to reason about realistic programs, these techniques must be modular a

Externí odkaz: https://doaj.org/article/89754ed9996043dbb8cecd614cfa4606

Zobrazit plný text záznamu

Higher-order probabilistic adversarial computations: categorical semantics and program logics

Autor: Shin-ya Katsumata, Deepak Garg, Gilles Barthe, Alejandro Aguirre, Marco Gaboardi, Tetsuya Sato

Publikováno v: Proceedings of the ACM on Programming Languages
Aguirre, A, Barthe, G, Gaboardi, M, Garg, D, Katsumata, S Y & Sato, T 2021, ' Higher-order probabilistic adversarial computations : categorical semantics and program logics ', Proceedings of the ACM on Programming Languages, vol. 5, no. ICFP, 93 . https://doi.org/10.1145/3473598

Adversarial computations are a widely studied class of computations where resource-bounded probabilistic adversaries have access to oracles, i.e., probabilistic procedures with private state. These computations arise routinely in several domains, inc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::604c3f91341aeabab147b3727b9a93f5
https://doi.org/10.1145/3473598

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání