Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Ntzik, G"'
Publikováno v:
32nd European Conference on Object-Oriented Programming (ECOOP 2018)
POSIX is a standard for operating systems, with a substantial part devoted to specifying file-system operations. File-system operations exhibit complex concurrent behaviour, comprising multiple actions affecting different parts of the state: typicall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::54067c4973b86dbc9563b2704c336285
Despite recent advances in reasoning about concurrent data structure libraries, the largest implementations in java.util.concurrent have yet to be verified. The key issue lies in the development of modular specifications, which provide clear logical
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::65f7246047efe1eb55303d225c767999
Separation logic has been successful at verifying that programs do not crash due to illegal use of resources. The underlying assumption, however, is that machines do not fail. In practice, machines can fail unpredictably for various reasons, e.g. pow
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c923bbbe9c138dc75726a28c6b8783be
http://hdl.handle.net/10044/1/26153
http://hdl.handle.net/10044/1/26153
Autor:
Ntzik, G, Gardner, P
We introduce a program logic for specifying a core sequential subset of the POSIX file system and for reasoning abstractly about client programs working with the file system. The challenge is to reason about the combination of local directory update
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b0c9d8051210fbdd209afb6ec8d5b7e
http://hdl.handle.net/10044/1/25816
http://hdl.handle.net/10044/1/25816
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.
Kniha
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.
Kniha
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.
Kniha
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:
Ilya Sergey
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS