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] 11 Treffer
- dependent type theory 6 Treffer
- effects 6 Treffer
- forcing 6 Treffer
- inductive types 5 Treffer
-
28 weitere Werte:
- abstract machine 4 Treffer
- calculus of constructions 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-sc]computer science [cs]/symbolic computation [cs.sc] 3 Treffer
- convex polyhedra 3 Treffer
- proofs 3 Treffer
- static analysis 3 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 2 Treffer
- [math.math-pr]mathematics [math]/probability [math.pr] 2 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.2: correctness proofs 2 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory/d.3.1.0: semantics 2 Treffer
- acm: d.: software/d.3: programming languages/d.3.2: language classifications/d.3.2.0: applicative (functional) languages 2 Treffer
- denotational semantics 2 Treffer
- fault-tolerance 2 Treffer
- formal proofs 2 Treffer
- integration theory 2 Treffer
- program verification 2 Treffer
- strong reduction 2 Treffer
- graphql 1 Treffer
- lang 1 Treffer
- mechanized metatheory 1 Treffer
- phil 1 Treffer
- probabilistic algorithms 1 Treffer
- probabilistic programming language 1 Treffer
- query languages 1 Treffer
Verlag
Sprache
Geographischer Bezug
22 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: 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: 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: ACM SIGSAC Conference on Computer and Communications Security, CCS'14 ; https://hal.inria.fr/hal-01101950 ; ACM SIGSAC Conference on Computer and Communications Security, 2014Online KonferenzZugriff:
-
In: ACM SIGSAC Conference on Computer and Communications Security, CCS'14 ; https://inria.hal.science/hal-01101950 ; ACM SIGSAC Conference on Computer and Communications Security, 2014Online KonferenzZugriff:
-
In: ACM SIGSAC Conference on Computer and Communications Security, CCS'14 ; https://inria.hal.science/hal-01101950 ; ACM SIGSAC Conference on Computer and Communications Security, 2014Online KonferenzZugriff:
-
In: ACM SIGSAC Conference on Computer and Communications Security, CCS'14 ; https://hal.inria.fr/hal-01101950 ; ACM SIGSAC Conference on Computer and Communications Security, 2014Online KonferenzZugriff:
-
In: ICFP '02: seventh ACM SIGPLAN international conference on Functional programming ; https://inria.hal.science/hal-01499941, 2002Online KonferenzZugriff:
-
In: ICFP '02: seventh ACM SIGPLAN international conference on Functional programming ; https://inria.hal.science/hal-01499941, 2002Online KonferenzZugriff:
-
In: ICFP '02: seventh ACM SIGPLAN international conference on Functional programming ; https://inria.hal.science/hal-01499941, 2002Online KonferenzZugriff:
-
In: ICFP '02: seventh ACM SIGPLAN international conference on Functional programming ; https://hal.inria.fr/hal-01499941, 2002Online KonferenzZugriff:
-
In: Static analysis ; 20th static analysis symposium (SAS) ; https://hal.archives-ouvertes.fr/hal-00806990 ; 20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365, ⟨10.1007/978-3-642-38856-9_19⟩, 2013Online KonferenzZugriff:
-
In: Static analysis ; 20th static analysis symposium (SAS) ; https://hal.science/hal-00806990 ; 20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365, ⟨10.1007/978-3-642-38856-9_19⟩, 2013Online KonferenzZugriff:
-
In: Static analysis ; 20th static analysis symposium (SAS) ; https://hal.science/hal-00806990 ; 20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365, ⟨10.1007/978-3-642-38856-9_19⟩, 2013Online KonferenzZugriff:
-
In: Formal Methods in Computer-Aided Design (FMCAD 2015) ; https://inria.hal.science/hal-01253127 ; Formal Methods in Computer-Aided Design (FMCAD 2015), Sep 2015, Austin, Texas, United States, 2015KonferenzZugriff: