Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 139 Treffer
- formal verification 34 Treffer
- separation logic 34 Treffer
- proof assistant 29 Treffer
- programming languages 28 Treffer
-
45 weitere Werte:
- verification 27 Treffer
- floating-point arithmetic 26 Treffer
- formalization 24 Treffer
- semantics 24 Treffer
- compilers (computer programs) 18 Treffer
- computer software 17 Treffer
- iris 17 Treffer
- concurrency 16 Treffer
- proof assistants 16 Treffer
- computer programming 15 Treffer
- interactive theorem proving 15 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 14 Treffer
- double-word arithmetic 14 Treffer
- type theory 14 Treffer
- computer science 12 Treffer
- verified compilation 12 Treffer
- program verification 11 Treffer
- proof theory 11 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 10 Treffer
- coq proof assistant 10 Treffer
- double-double arithmetic 10 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 9 Treffer
- calculus 9 Treffer
- cryptography 9 Treffer
- source code 9 Treffer
- algorithms 8 Treffer
- computer security 8 Treffer
- interval analysis 8 Treffer
- logical relations 8 Treffer
- mathematics 8 Treffer
- open-ended questions 8 Treffer
- overflow 8 Treffer
- parametricity 8 Treffer
- software 8 Treffer
- software engineering 8 Treffer
- software verification 8 Treffer
- verification of computer systems 8 Treffer
- application software 7 Treffer
- atomicity 7 Treffer
- c (computer program language) 7 Treffer
- computer input-output equipment 7 Treffer
- machine learning 7 Treffer
- proof automation 7 Treffer
- square-root 7 Treffer
- applied sciences 6 Treffer
Verlag
Publikation
- acm transactions on programming languages & systems 55 Treffer
- proceedings of the acm on programming languages 40 Treffer
- acm international conference proceeding series 24 Treffer
- acm transactions on mathematical software 22 Treffer
- communications of the acm 19 Treffer
-
38 weitere Werte:
- acm sigplan notices 16 Treffer
- journal of the acm 14 Treffer
- proceedings of the acm sigplan conference on programming language design and implementation (pldi) 13 Treffer
- formal aspects of computing 10 Treffer
- acm / sigplan notices 8 Treffer
- acm transactions on embedded computing systems 8 Treffer
- acm transactions on programming languages and systems 6 Treffer
- icse: international conference on software engineering 6 Treffer
- acm transactions on computational logic 5 Treffer
- acm transactions on software engineering & methodology 4 Treffer
- issn: 0004-5411 4 Treffer
- proceedings of the acm conference on computer and communications security 4 Treffer
- $2 2 Treffer
- acm transactions on software engineering and methodology 2 Treffer
- chlipala 2 Treffer
- issn: 0001-0782 2 Treffer
- proceedings of the 15th symposium principles & practice of declarative programming 2 Treffer
- proceedings of the acm sigplan international conference on functional programming, icfp 2 Treffer
- proceedings of the acm symposium on applied computing 2 Treffer
- 38 ; 1 1 Treffer
- cbse 2014 - proceedings of the 17th international acm sigsoft symposium on component-based software engineering (part of comparch 2014) 1 Treffer
- conference record of the annual acm symposium on principles of programming languages 1 Treffer
- erlang 2020 - proceedings of the 19th acm sigplan international workshop on erlang, co-located with icfp 2020 1 Treffer
- journal of the association for computing machinery 1 Treffer
- plpv 2014 - proceedings of the 2014 acm sigplan workshop on programming languages meets program verification, co-located with popl 2014 1 Treffer
- proceedings of the 10th international acm sigplan conference: principles & practice of declarative programming 1 Treffer
- proceedings of the 12th acm sigplan international conference: functional programming 1 Treffer
- proceedings of the 1st workshop: modules & libraries for proof assistants 1 Treffer
- proceedings of the 2009 acm sigplan workshop: generic programming 1 Treffer
- proceedings of the 2010 acm symposium: applied computing 1 Treffer
- proceedings of the 41st acm sigplan-sigact symposium principles of programming languages 1 Treffer
- proceedings of the acm on programming languages, 4 (popl 1 Treffer
- proceedings of the acm sigplan conference on languages, compilers, and tools for embedded systems (lctes) 1 Treffer
- proceedings of the acm sigplan workshop: generic programming 1 Treffer
- proceedings of the annual acm symposium on principles of distributed computing 1 Treffer
- proceedings of the international symposium on symbolic and algebraic computation, issac 1 Treffer
- proceedings of the third acm haskell symposium: haskell 1 Treffer
- proceedings of the third acm sigplan workshop: mathematically structured functional programming 1 Treffer
Sprache
365 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Journal of the ACM, Jg. 68 (2021), Heft 1, S. 1-44Online academicJournalZugriff:
-
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: ACM Transactions on Software Engineering & Methodology, Jg. 32 (2023-03-01), Heft 2, S. 1-42Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-03-01), Heft 1, S. 1-35Online academicJournalZugriff:
-
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: Bauer , A , Gross , J , Lumsdaine , P L , Shulman , M , Sozeau, 2017academicJournalZugriff:
-
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: Journal of the ACM, Jg. 66 (2019-04-01), Heft 2, S. 1-35Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-03482567 ; ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩, 2023Online academicJournalZugriff:
-
In: Vindum , S F , Frumin , D & Birkedal , L 2022 , Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library . in A Popescu & S Zdancewic (eds) , CPP 2022 : Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022 . Association for Computing Machinery, 2022Online academicJournalZugriff:
-
In: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-02972245 ; ACM Transactions on Mathematical Software, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩, 2022Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: Vindum , S F & Birkedal , L 2021 , Contextual refinement of the Michael-Scott queue (proof pearl) . in C Hriţcu & A Popescu (eds) , CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs . Association for Computing Machinery , New York , pp. 76-90, 2021Online academicJournalZugriff: