Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 73 Treffer
- formal verification 14 Treffer
- interactive theorem proving 6 Treffer
- separation logic 6 Treffer
- verification 5 Treffer
-
45 weitere Werte:
- blockchain 4 Treffer
- completeness 4 Treffer
- higher inductive types 3 Treffer
- homotopy type theory 3 Treffer
- proof assistants 3 Treffer
- smart contracts 3 Treffer
- software correctness 3 Treffer
- type theory 3 Treffer
- abstract interpretation 2 Treffer
- algebra 2 Treffer
- c 2 Treffer
- certified programming 2 Treffer
- coinduction 2 Treffer
- compilers 2 Treffer
- concurrency 2 Treffer
- coq proof assistant 2 Treffer
- dependent type theory 2 Treffer
- equational theory 2 Treffer
- formal semantics 2 Treffer
- functional programming 2 Treffer
- haskell 2 Treffer
- iris 2 Treffer
- model transformation 2 Treffer
- monads 2 Treffer
- multivariate polynomials 2 Treffer
- operational semantics 2 Treffer
- program verification 2 Treffer
- proof assistant 2 Treffer
- scala 2 Treffer
- ssreflect 2 Treffer
- substructural logics 2 Treffer
- theorem proving 2 Treffer
- undecidability 2 Treffer
- 3d geometry 1 Treffer
- access control 1 Treffer
- ackermann 1 Treffer
- aes 1 Treffer
- algorithmic skeletons 1 Treffer
- apache spark 1 Treffer
- approximation algorithms 1 Treffer
- arithmetic 1 Treffer
- automated reasoning 1 Treffer
- automation 1 Treffer
- axiom of choice 1 Treffer
- bidirectional typing 1 Treffer
Publikation
- cpp 2018 - proceedings of the 7th acm sigplan international conference on certified programs and proofs, co-located with popl 2018 11 Treffer
- cpp 2020 - proceedings of the 9th acm sigplan international conference on certified programs and proofs, co-located with popl 2020 10 Treffer
- cpp 2017 - proceedings of the 6th acm sigplan conference on certified programs and proofs, co-located with popl 2017 7 Treffer
- cpp 2024 - proceedings of the 13th acm sigplan international conference on certified programs and proofs, co-located with: popl 2024 7 Treffer
- cpp 2021 - proceedings of the 10th acm sigplan international conference on certified programs and proofs, co-located with popl 2021 6 Treffer
-
23 weitere Werte:
- cpp 2023 - proceedings of the 12th acm sigplan international conference on certified programs and proofs, co-located with popl 2023 6 Treffer
- cpp 2015 - proceedings of the 2015 acm conference on certified programs and proofs, co-located with popl 2015 5 Treffer
- cpp 2016 - proceedings of the 5th acm sigplan conference on certified programs and proofs, co-located with popl 2016 5 Treffer
- cpp 2019 - proceedings of the 8th acm sigplan international conference on certified programs and proofs, co-located with popl 2019 5 Treffer
- cpp 2022 - proceedings of the 11th acm sigplan international conference on certified programs and proofs, co-located with popl 2022 4 Treffer
- haskell 2017 - proceedings of the 10th acm sigplan international symposium on haskell, co-located with icfp 2017 2 Treffer
- ccsw 2020 - proceedings of the 2020 acm sigsac conference on cloud computing security workshop 1 Treffer
- cpp 2021 1 Treffer
- dbpl 2015 - proceedings of the 15th symposium on database programming languages 1 Treffer
- dls 2015 - proceedings of the 11th symposium on dynamic languages 1 Treffer
- fhpc 2018 - proceedings of the 7th acm sigplan international workshop on functional high-performance computing, co-located with icfp 2018 1 Treffer
- ftfjp 2023 - proceedings of the 25th acm international workshop on formal techniques for java-like programs 1 Treffer
- haskell 2019 - proceedings of the 12th acm sigplan international symposium on haskell, co-located with icfp 2019 1 Treffer
- icfp 2016 - proceedings of the 21st acm sigplan international conference on functional programming 1 Treffer
- issta 2018 - proceedings of the 27th acm sigsoft international symposium on software testing and analysis 1 Treffer
- issta 2021 - proceedings of the 30th acm sigsoft international symposium on software testing and analysis 1 Treffer
- iwst 2017 - proceedings of the 12th international workshop on smalltalk technologies, in conjunction with the 25th international smalltalk joint conference 1 Treffer
- memocode 2017 - 15th acm-ieee international conference on formal methods and models for system design 1 Treffer
- pepm 2021 - proceedings of the 2021 acm sigplan workshop on partial evaluation and program manipulation, co-located with popl 2021 1 Treffer
- proceedings - 23rd acm/ieee international conference on model driven engineering languages and systems, models 2020 1 Treffer
- sle 2021 - proceedings of the 14th acm sigplan international conference on software language engineering, co-located with splash 2021 1 Treffer
- splash companion 2023 - companion proceedings of the 2023 acm sigplan international conference on systems, programming, languages, and applications: software for humanity 1 Treffer
- vortex 2023 - proceedings of the 6th international workshop on verification and monitoring at runtime execution 1 Treffer
Sprache
95 Treffer
-
In: CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL, 2022-01-17, S. 291-306Online 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:
-
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:
-
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:
-
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:
-
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:
-
In: CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL, 2022-01-17, S. 100-115Online 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:
-
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: