Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- separation logic 14 Treffer
- coq 12 Treffer
- proof automation 7 Treffer
- logical relations 4 Treffer
- c programming language 3 Treffer
-
35 weitere Werte:
- fine-grained concurrency 3 Treffer
- step-indexing 3 Treffer
- atomicity 2 Treffer
- ordinals 2 Treffer
- phil 2 Treffer
- refinement types 2 Treffer
- verification 2 Treffer
- arm 1 Treffer
- assembly 1 Treffer
- backtracking 1 Treffer
- c 1 Treffer
- compilers 1 Treffer
- concurrency 1 Treffer
- data abstraction 1 Treffer
- disjunctions 1 Treffer
- dot 1 Treffer
- garbage collection 1 Treffer
- isla 1 Treffer
- lang 1 Treffer
- linearizability 1 Treffer
- liveness properties 1 Treffer
- memory model 1 Treffer
- message passing 1 Treffer
- non-determinism 1 Treffer
- ocaml 1 Treffer
- ownership types 1 Treffer
- program logics 1 Treffer
- psy 1 Treffer
- refinement 1 Treffer
- risc-v 1 Treffer
- sail 1 Treffer
- scala 1 Treffer
- session types 1 Treffer
- transfinite 1 Treffer
- type soundness 1 Treffer
Publikation
Sprache
15 Treffer
-
In: Vindum , S F & Birkedal , L 2021 , Contextual refinement of the Michael-Scott queue (proof pearl) . in C Hriţcu & A Popescu (eds) , CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs . Association for Computing Machinery , New York , pp. 76-90, 2021Online academicJournalZugriff:
-
In: Hinrichsen , J K , Louwrink , D , Krebbers , R & Bengtson, 2021Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: Spies, 2021academicJournalZugriff:
-
In: $2, 2018Online academicJournalZugriff:
-
In: Frumin , D , Krebbers , R & Birkedal , L 2018 , ReLoC : A Mechanised Relational Logic for Fine-Grained Concurrency . in Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018 . Association for Computing Machinery , New York, NY, USA, 2018academicJournalZugriff: