Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 32 Treffer
- coq 22 Treffer
- separation logic 12 Treffer
- program verification 9 Treffer
- coq proof assistant 7 Treffer
-
45 weitere Werte:
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 6 Treffer
- dependent type theory 6 Treffer
- effects 6 Treffer
- forcing 6 Treffer
- verified compilation 6 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 5 Treffer
- abstract interpretation 5 Treffer
- inductive types 5 Treffer
- value analysis 5 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 4 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 4 Treffer
- abstract machine 4 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.2: correctness proofs 4 Treffer
- c language 4 Treffer
- calculus of constructions 4 Treffer
- floating-point arithmetic 4 Treffer
- formal proof 4 Treffer
- interactive theorem proving 4 Treffer
- modal logic 4 Treffer
- non-interference 4 Treffer
- normalization by evaluation 4 Treffer
- virtual machine 4 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 3 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 3 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 3 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 3 Treffer
- [info]computer science [cs] 3 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 3 Treffer
- convex polyhedra 3 Treffer
- data structures design and analysis 3 Treffer
- formalization 3 Treffer
- iris 3 Treffer
- monad 3 Treffer
- operational semantics 3 Treffer
- phil 3 Treffer
- program analysis 3 Treffer
- program specification 3 Treffer
- proofs 3 Treffer
- rust 3 Treffer
- signature 3 Treffer
- static analysis 3 Treffer
- verified compiler 3 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 2 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 2 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 2 Treffer
Verlag
Sprache
Geographischer Bezug
90 Treffer
-
In: CPP 2023 - Certified Programs and Proofs ; https://inria.hal.science/hal-03917948 ; CPP 2023 - Certified Programs and Proofs, Jan 2023, Boston, United States. ⟨10.1145/3573105.3575691⟩ ; https://dl.acm.org/doi/proceedings/10.1145/3573105, 2023Online KonferenzZugriff:
-
In: CPP 2023 - Certified Programs and Proofs ; https://inria.hal.science/hal-03917948 ; CPP 2023 - Certified Programs and Proofs, Jan 2023, Boston, United States. ⟨10.1145/3573105.3575691⟩ ; https://dl.acm.org/doi/proceedings/10.1145/3573105, 2023Online KonferenzZugriff:
-
In: CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages ; https://hal.science/hal-02944217 ; CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages, Jan 2020, New Orleans, United States. ⟨10.1017/S0960129597002302⟩, 2020Online KonferenzZugriff:
-
In: CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages ; https://hal.archives-ouvertes.fr/hal-02944217 ; CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages, Jan 2020, New Orleans, United States. ⟨10.1017/S0960129597002302⟩, 2020Online KonferenzZugriff:
-
In: CoqPL 2018 - The Fourth International Workshop on Coq for Programming Languages ; https://inria.hal.science/hal-01671948 ; CoqPL 2018 - The Fourth International Workshop on Coq for Programming Languages, Jan 2018, Los Angeles, CA, United States. pp.1-2, 2018Online KonferenzZugriff:
-
In: CoqPL 2018 - The Fourth International Workshop on Coq for Programming Languages ; https://inria.hal.science/hal-01671948 ; CoqPL 2018 - The Fourth International Workshop on Coq for Programming Languages, Jan 2018, Los Angeles, CA, United States. pp.1-2, 2018Online KonferenzZugriff:
-
In: CoqPL 2018 - The Fourth International Workshop on Coq for Programming Languages ; https://inria.hal.science/hal-01671948 ; CoqPL 2018 - The Fourth International Workshop on Coq for Programming Languages, Jan 2018, Los Angeles, CA, United States. pp.1-2, 2018Online KonferenzZugriff:
-
In: CoqPL 2018 - The Fourth International Workshop on Coq for Programming Languages ; https://hal.inria.fr/hal-01671948 ; CoqPL 2018 - The Fourth International Workshop on Coq for Programming Languages, Jan 2018, Los Angeles, CA, United States. pp.1-2, 2018Online KonferenzZugriff:
-
In: 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'12 ; https://hal.inria.fr/inria-00628775 ; 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'12, Jan 2012, Philadelphia, United States, 2012Online KonferenzZugriff:
-
In: Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logic: TPHOLs 2004 ; https://hal.inria.fr/inria-00423372 ; Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logic: TPHOLs 2004, Aug 2004, Utah, United States. pp.181-198, 2004Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.archives-ouvertes.fr/hal-02422532 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, United States. ⟨10.1145/3372885.3373822⟩ ; https://popl20.sigplan.org/home/CPP-2020, 2020Online KonferenzZugriff:
-
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: International Conference on Functional Programming (ICFP 2018) ; https://hal.archives-ouvertes.fr/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: 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: Logics in Computer Science ; https://hal.science/hal-01319066 ; Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩, 2016Online KonferenzZugriff:
-
In: Logics in Computer Science ; https://hal.science/hal-01319066 ; Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩, 2016Online KonferenzZugriff:
-
In: Logics in Computer Science ; https://hal.science/hal-01319066 ; Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩, 2016Online KonferenzZugriff:
-
In: Logics in Computer Science ; https://hal.science/hal-01319066 ; Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩, 2016Online KonferenzZugriff:
-
In: Logics in Computer Science ; https://hal.science/hal-01319066 ; Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩, 2016Online KonferenzZugriff:
-
In: Computer Security Foundations Symposium ; https://inria.hal.science/hal-01588422 ; Computer Security Foundations Symposium, Aug 2017, Santa-Barbara, United States, 2017Online KonferenzZugriff: