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 33 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
- computer programming 15 Treffer
- interactive theorem proving 15 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 14 Treffer
- proof assistants 14 Treffer
- type theory 14 Treffer
- computer science 12 Treffer
- double-word arithmetic 12 Treffer
- program verification 11 Treffer
- proof theory 11 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 10 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 9 Treffer
- calculus 9 Treffer
- coq proof assistant 9 Treffer
- cryptography 9 Treffer
- source code 9 Treffer
- algorithms 8 Treffer
- computer security 8 Treffer
- double-double arithmetic 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
- verified compilation 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
- applied sciences 6 Treffer
- computer science; control theory; systems 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
-
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, 2023academicJournalZugriff:
-
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!KonferenzZugriff:
-
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!KonferenzZugriff:
-
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:
-
In: ACM SIGPLAN NOTICES, Jg. 47 (2012), Heft 1, S. 571-585Online KonferenzZugriff:
-
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: