Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- iris 4 Treffer
- lang 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- coq 2 Treffer
- modal logic 2 Treffer
-
27 weitere Werte:
- program verification 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- abstract interpretation 1 Treffer
- anthro-se 1 Treffer
- archi 1 Treffer
- atomicity 1 Treffer
- concurrency 1 Treffer
- coq proof assistant 1 Treffer
- formal semantics 1 Treffer
- formal verification 1 Treffer
- interactive theorem proving 1 Treffer
- interpretation abstraite 1 Treffer
- javascript 1 Treffer
- logical relation 1 Treffer
- logical relations 1 Treffer
- logique de separation 1 Treffer
- message passing 1 Treffer
- monotonicity 1 Treffer
- operational semantics 1 Treffer
- ordinals 1 Treffer
- programming logic 1 Treffer
- psy 1 Treffer
- security 1 Treffer
- session types 1 Treffer
- socio 1 Treffer
- step-indexing 1 Treffer
- theory of computation 1 Treffer
Verlag
Publikation
Sprache
Geographischer Bezug
10 Treffer
-
2021KonferenzZugriff:
-
In: International Conference on Functional Programming (ICFP 2018) ; https://hal.science/hal-01898522 ; International Conference on Functional Programming (ICFP 2018), ACM, Sep 2018, St Louis, MO, United States. pp.77, ⟨10.1145/3236772⟩ ; https://conf.researchr.org/home/icfp-2018, 2018Online KonferenzZugriff:
-
In: Theses.fr, 2016HochschulschriftZugriff:
-
In: $2, 2022academicJournalZugriff:
-
In: Timany , A & Birkedal , L 2021 , Reasoning about monotonicity in separation logic . in Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’21) . Association for Computing Machinery , New York , pp. 91-104, 2021academicJournalZugriff:
-
In: Spies, 2021academicJournalZugriff:
-
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:
-
In: 20th Int. Conference on Theorem Proving in Higher Order Logics (TPHOLs 2007) ; https://hal.inria.fr/inria-00165915 ; 20th Int. Conference on Theorem Proving in Higher Order Logics (TPHOLs 2007), Sep 2007, Kaiserslautern, Germany. pp.5-21, 2007Online KonferenzZugriff: