Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 97 Treffer
- formal verification 30 Treffer
- programming languages 27 Treffer
- proof assistant 27 Treffer
- floating-point arithmetic 26 Treffer
-
45 weitere Werte:
- formalization 24 Treffer
- separation logic 23 Treffer
- semantics 21 Treffer
- verification 21 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 14 Treffer
- computer software 14 Treffer
- double-word arithmetic 14 Treffer
- iris 14 Treffer
- compilers (computer programs) 13 Treffer
- concurrency 13 Treffer
- proof assistants 12 Treffer
- verified compilation 12 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 10 Treffer
- double-double arithmetic 10 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 9 Treffer
- computer programming 9 Treffer
- interactive theorem proving 9 Treffer
- program verification 9 Treffer
- calculus 8 Treffer
- cryptography 8 Treffer
- interval analysis 8 Treffer
- open-ended questions 8 Treffer
- overflow 8 Treffer
- parametricity 8 Treffer
- square-root 8 Treffer
- underflow 8 Treffer
- verification of computer systems 8 Treffer
- application software 7 Treffer
- atomicity 7 Treffer
- computer input-output equipment 7 Treffer
- computer science 7 Treffer
- type theory 7 Treffer
- univalence 7 Treffer
- applied sciences 6 Treffer
- computer science; control theory; systems 6 Treffer
- exact sciences and technology 6 Treffer
- garbage collection 6 Treffer
- informatique 6 Treffer
- informatique; automatique theorique; systemes 6 Treffer
- logical relations 6 Treffer
- logiciel 6 Treffer
- ocaml 6 Treffer
- proof theory 6 Treffer
- sciences appliquees 6 Treffer
- sciences exactes et technologie 6 Treffer
Verlag
Publikation
- acm transactions on programming languages & systems 55 Treffer
- proceedings of the acm on programming languages 40 Treffer
- acm transactions on mathematical software 22 Treffer
- acm sigplan notices 15 Treffer
- journal of the acm 14 Treffer
-
14 weitere Werte:
- 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
- acm transactions on computational logic 4 Treffer
- acm transactions on software engineering & methodology 4 Treffer
- communications of the acm 4 Treffer
- issn: 0004-5411 4 Treffer
- $2 2 Treffer
- acm transactions on software engineering and methodology 2 Treffer
- chlipala 2 Treffer
- issn: 0001-0782 2 Treffer
- 38 ; 1 1 Treffer
- journal of the association for computing machinery 1 Treffer
Sprache
247 Treffer
-
In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-09-01), Heft 3, S. 1-61Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Nielsen , E H , Annenkov , D & Spitters , B 2023 , Formalising Decentralised Exchanges in Coq . in R Krebbers, 2023Online academicJournalZugriff:
-
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:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Annenkov , D , Milo, 2021academicJournalZugriff:
-
In: Annenkov , D , Botsch Nielsen , J & Spitters, 2020academicJournalZugriff:
-
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:
-
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:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 14 (2013-11-01), Heft 4, S. 1-16Online academicJournalZugriff:
-
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:
-
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:
-
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: