Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 6 Treffer
- proof assistant 6 Treffer
- correctness 5 Treffer
- 020204 information systems 4 Treffer
- computer.file_format 4 Treffer
-
45 weitere Werte:
- executable 4 Treffer
- hardware_controlstructuresandmicroprogramming 4 Treffer
- media_common 4 Treffer
- media_common.quotation_subject 4 Treffer
- source code 4 Treffer
- 020202 computer hardware & architecture 3 Treffer
- compiled language 3 Treffer
- computer graphics and computer-aided design 3 Treffer
- dataflow 3 Treffer
- formal verification 3 Treffer
- lustre (programming language) 3 Treffer
- software_programminglanguages 3 Treffer
- [info.info-es]computer science [cs]/embedded systems 2 Treffer
- acm: d.: software/d.3: programming languages/d.3.4: processors/d.3.4.1: compilers 2 Treffer
- bootstrapping (compilers) 2 Treffer
- code generation 2 Treffer
- compilation error 2 Treffer
- compile time 2 Treffer
- compiler construction 2 Treffer
- compiler correctness 2 Treffer
- compilers 2 Treffer
- formal methods 2 Treffer
- functional compiler 2 Treffer
- imperative programming 2 Treffer
- inline expansion 2 Treffer
- interactive theorem proving 2 Treffer
- interprocedural optimization 2 Treffer
- optimizing compiler 2 Treffer
- safety, risk, reliability and quality 2 Treffer
- software verification 2 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 1 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.2: correctness proofs 1 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 1 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory/d.3.1.0: semantics 1 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs/f.3.1.3: mechanical verification 1 Treffer
- algorithm 1 Treffer
- artificial intelligence 1 Treffer
- block diagram 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- certification 1 Treffer
- compiler verification 1 Treffer
Verlag
Publikation
Sprache
8 Treffer
-
2009Online unknownZugriff:
-
In: ACM Transactions on Embedded Computing Systems, Jg. 20 (2021-09-22), S. 1-25Online unknownZugriff:
-
In: Communications of the ACM, Jg. 52 (2009-07-01), S. 107-115Online unknownZugriff:
-
In: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2007-01-17Online unknownZugriff: