Výsledky vyhledávání - "Theory of computation~Program reasoning"

  • Zobrazuji výsledky 1 - 1 z 1
Upřesnit hledání
  1. 1
    Obálka

    Owicki-Gries Reasoning for C11 RAR (Artifact) Autor Dalvandi, Sadegh, Doherty, Simon, Dongol, Brijesh, Wehrheim, Heike

    ISSN: 2509-8195
    Vydáno: Schloss Dagstuhl – Leibniz-Zentrum für Informatik 06.11.2020
    “…The paper "Owicki-Gries Reasoning for C11 RAR" introduces a new proof calculus for the C11 RAR memory model that allows Owicki-Gries proof rules for compound…”
    Získat plný text
    Soubor dat
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: