Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 20 Treffer
- iris 14 Treffer
- fine-grained concurrency 6 Treffer
- interactive theorem proving 6 Treffer
- logical relations 6 Treffer
-
45 weitere Werte:
- proof automation 6 Treffer
- program verification 5 Treffer
- concurrency 3 Treffer
- logic 3 Treffer
- machinery 3 Treffer
- monotonicity 3 Treffer
- phil 3 Treffer
- verification 3 Treffer
- atomicity 2 Treffer
- c programming language 2 Treffer
- computer science 2 Treffer
- dependent types 2 Treffer
- functional programming 2 Treffer
- hoare logic 2 Treffer
- message passing 2 Treffer
- monads 2 Treffer
- ordinals 2 Treffer
- program logic 2 Treffer
- session types 2 Treffer
- step-indexing 2 Treffer
- type theory 2 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- 020207 software engineering 1 Treffer
- algebra 1 Treffer
- archi 1 Treffer
- arm 1 Treffer
- assembly 1 Treffer
- automated reasoning 1 Treffer
- backtracking 1 Treffer
- bunched logic 1 Treffer
- c 1 Treffer
- calculus 1 Treffer
- capability machines 1 Treffer
- cheri 1 Treffer
- commutative property 1 Treffer
- compcert 1 Treffer
- compilers 1 Treffer
- computational logic 1 Treffer
- computer 1 Treffer
- computer graphics and computer-aided design 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer.software_genre 1 Treffer
Publikation
- proceedings of the acm on programming languages 10 Treffer
- journal of the acm 3 Treffer
- proceedings of the acm sigplan conference on programming language design and implementation (pldi) 3 Treffer
- acm international conference proceeding series 1 Treffer
- acm sigplan notices 1 Treffer
- Ein weiterer Wert:
Sprache
35 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: Vindum , S F , Frumin , D & Birkedal , L 2022 , Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library . in A Popescu & S Zdancewic (eds) , CPP 2022 : Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022 . Association for Computing Machinery, 2022Online academicJournalZugriff:
-
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: Journal of the ACM, Jg. 71 (2024-02-01), Heft 1, S. 1-59Online 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:
-
In: Krebbers , R , Timany , A & Birkedal , L 2017 , Interactive proofs in higher-order concurrent separation logic . in A D Gordon & G Castagna (eds) , Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017academicJournalZugriff:
-
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: