Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- abstract syntax 3 Treffer
- software 3 Treffer
- computer graphics and computer-aided design 2 Treffer
- computer science::programming languages 2 Treffer
- correctness 2 Treffer
-
45 weitere Werte:
- proof assistant 2 Treffer
- semantics 2 Treffer
- soundness 2 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 05 social sciences 1 Treffer
- 0502 economics and business 1 Treffer
- 050211 marketing 1 Treffer
- abstract machine 1 Treffer
- abstract semantic graph 1 Treffer
- abstract syntax tree 1 Treffer
- artificial intelligence 1 Treffer
- assembly language 1 Treffer
- certification 1 Treffer
- compiler 1 Treffer
- completeness (logic) 1 Treffer
- computational theory and mathematics 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer science - programming languages 1 Treffer
- computer science::emerging technologies 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer.file_format 1 Treffer
- de bruijn sequence 1 Treffer
- denotational semantics 1 Treffer
- executable 1 Treffer
- fos: computer and information sciences 1 Treffer
- functional programming 1 Treffer
- heap (data structure) 1 Treffer
- higher-order abstract syntax 1 Treffer
- homoiconicity 1 Treffer
- lemma (mathematics) 1 Treffer
- linear logic 1 Treffer
- logic in computer science (cs.lo) 1 Treffer
- logical framework 1 Treffer
- metalanguage 1 Treffer
- object language 1 Treffer
- object-oriented programming 1 Treffer
- program transformation 1 Treffer
- programming languages (cs.pl) 1 Treffer
- quantum programming 1 Treffer
- stack machine 1 Treffer
- substitution (algebra) 1 Treffer
- syntax 1 Treffer
- syntax (programming languages) 1 Treffer
Verlag
Publikation
Sprache
5 Treffer
-
In: ACM SIGPLAN Notices, Jg. 43 (2008-09-20), S. 143-156Online unknownZugriff:
-
In: Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification, 2014-01-11Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2019-06-22), S. 967-1002Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 42 (2007-06-10), S. 54-65Online unknownZugriff: