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] 6 Treffer
- data mining 5 Treffer
- github 5 Treffer
- interviews 5 Treffer
- issue 5 Treffer
-
23 weitere Werte:
- migration 5 Treffer
- open source 5 Treffer
- rdd 5 Treffer
- regression discontinuity design 5 Treffer
- switch 5 Treffer
- formal proof 4 Treffer
- optimization 4 Treffer
- risc-v 4 Treffer
- symbolic execution 4 Treffer
- bug report 3 Treffer
- bugzilla 3 Treffer
- translation validation 3 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 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
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- [info]computer science [cs] 2 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 2 Treffer
- bug tracker 2 Treffer
- coq 2 Treffer
- framework 2 Treffer
- strength-reduction 2 Treffer
- proof automation 1 Treffer
Verlag
Sprache
Geographischer Bezug
17 Treffer
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-02422273 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, Nouvelle-Orléans, United States. pp.1-15, ⟨10.1145/3372885.3373812⟩, 2020Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.inria.fr/hal-02422273 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, Nouvelle-Orléans, United States. pp.1-15, ⟨10.1145/3372885.3373812⟩, 2020Online 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: Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems (ICOOOLPS '23) ; ICOOOLPS '23: 18th ACM International Workshop on Implementation, 2023Online KonferenzZugriff:
-
In: Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems (ICOOOLPS '23) ; ICOOOLPS '23: 18th ACM International Workshop on Implementation, 2023Online KonferenzZugriff:
-
In: Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems (ICOOOLPS '23) ; ICOOOLPS '23: 18th ACM International Workshop on Implementation, 2023Online KonferenzZugriff:
-
In: Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems (ICOOOLPS '23) ; ICOOOLPS '23: 18th ACM International Workshop on Implementation, 2023Online KonferenzZugriff:
-
In: 33rd International Conference on Computer-Aided Verification (CAV 2021) ; https://hal.science/hal-03243129 ; 33rd International Conference on Computer-Aided Verification (CAV 2021), Jul 2021, Los Angeles (Online), United States ; http://i-cav.org/2021/accepted-papers/, 2021Online KonferenzZugriff:
-
In: 33rd International Conference on Computer-Aided Verification (CAV 2021) ; https://hal.science/hal-03243129 ; 33rd International Conference on Computer-Aided Verification (CAV 2021), Jul 2021, Los Angeles (Online), United States ; http://i-cav.org/2021/accepted-papers/, 2021Online KonferenzZugriff:
-
In: 33rd International Conference on Computer-Aided Verification (CAV 2021) ; https://hal.archives-ouvertes.fr/hal-03243129 ; 33rd International Conference on Computer-Aided Verification (CAV 2021), Jul 2021, Los Angeles (Online), United States ; http://i-cav.org/2021/accepted-papers/, 2021Online KonferenzZugriff:
-
In: ICSME 2019 - International Conference on Software Maintenance and Evolution ; https://inria.hal.science/hal-01951176 ; ICSME 2019 - International Conference on Software Maintenance and Evolution, Sep 2019, Cleveland, United States, 2019Online KonferenzZugriff:
-
In: ICSME 2019 - International Conference on Software Maintenance and Evolution ; https://inria.hal.science/hal-01951176 ; ICSME 2019 - International Conference on Software Maintenance and Evolution, Sep 2019, Cleveland, United States, 2019Online KonferenzZugriff:
-
In: ICSME 2019 - International Conference on Software Maintenance and Evolution ; https://inria.hal.science/hal-01951176 ; ICSME 2019 - International Conference on Software Maintenance and Evolution, Sep 2019, Cleveland, United States, 2019Online KonferenzZugriff:
-
In: ICSME 2019 - International Conference on Software Maintenance and Evolution ; https://inria.hal.science/hal-01951176 ; ICSME 2019 - International Conference on Software Maintenance and Evolution, Sep 2019, Cleveland, United States, 2019Online KonferenzZugriff:
-
In: ICSME 2019 - International Conference on Software Maintenance and Evolution ; https://hal.inria.fr/hal-01951176 ; ICSME 2019 - International Conference on Software Maintenance and Evolution, Sep 2019, Cleveland, United States, 2019Online KonferenzZugriff:
-
In: 33rd International Conference on Computer-Aided Verification (CAV 2021) ; https://hal.archives-ouvertes.fr/hal-03243129 ; 33rd International Conference on Computer-Aided Verification (CAV 2021), Jul 2021, Los Angeles (Online), United States ; http://i-cav.org/2021/accepted-papers/, 2021Online KonferenzZugriff: