Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer.software_genre 3 Treffer
- correctness 3 Treffer
- programming language 3 Treffer
- safety, risk, reliability and quality 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
-
45 weitere Werte:
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- 020204 information systems 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- computer.programming_language 2 Treffer
- semantics 2 Treffer
- semantics (computer science) 2 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 2 Treffer
- assembly language 1 Treffer
- bisimulation 1 Treffer
- bootstrapping (compilers) 1 Treffer
- code generation 1 Treffer
- compilation error 1 Treffer
- compile time 1 Treffer
- compiled language 1 Treffer
- compiler 1 Treffer
- compiler construction 1 Treffer
- compiler correctness 1 Treffer
- compilers 1 Treffer
- concurrency 1 Treffer
- control flow 1 Treffer
- coq 1 Treffer
- denotational semantics 1 Treffer
- formal semantics (linguistics) 1 Treffer
- formal verification 1 Treffer
- functional compiler 1 Treffer
- fuzz testing 1 Treffer
- general computer science 1 Treffer
- hardware_controlstructuresandmicroprogramming 1 Treffer
- haskell 1 Treffer
- inline expansion 1 Treffer
- interpretation (logic) 1 Treffer
- interprocedural optimization 1 Treffer
- intrinsic function 1 Treffer
- llvm 1 Treffer
- media_common 1 Treffer
- media_common.quotation_subject 1 Treffer
- monads 1 Treffer
- object code 1 Treffer
- operational semantics 1 Treffer
- optimizing compiler 1 Treffer
- predicate (mathematical logic) 1 Treffer
- program verification 1 Treffer
Publikation
Sprache
4 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-30Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-10-10), S. 1-29Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-01-02), S. 1-31Online unknownZugriff:
-
In: Communications of the ACM, Jg. 52 (2009-07-01), S. 107-115Online unknownZugriff: