Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer.programming_language 4 Treffer
- haskell 3 Treffer
- software 3 Treffer
- software_programmingtechniques 3 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 3 Treffer
-
45 weitere Werte:
- automated theorem proving 2 Treffer
- formal verification 2 Treffer
- string searching algorithm 2 Treffer
- type (model theory) 2 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 1 Treffer
- [info]computer science [cs] 1 Treffer
- 020204 information systems 1 Treffer
- advice (complexity) 1 Treffer
- aspect-oriented programming 1 Treffer
- bytecode 1 Treffer
- calculus 1 Treffer
- code (cryptography) 1 Treffer
- compiler 1 Treffer
- computer graphics and computer-aided design 1 Treffer
- computer science::mathematical software 1 Treffer
- computer science::programming languages 1 Treffer
- computer science::sound 1 Treffer
- computer.file_format 1 Treffer
- computingmilieux_miscellaneous 1 Treffer
- correctness 1 Treffer
- data flow diagram 1 Treffer
- denotational semantics 1 Treffer
- dependent type 1 Treffer
- design 1 Treffer
- feature (linguistics) 1 Treffer
- functional programming 1 Treffer
- heap (data structure) 1 Treffer
- instruction set 1 Treffer
- java bytecode 1 Treffer
- java virtual machine 1 Treffer
- languages 1 Treffer
- mathematical proof 1 Treffer
- pointcut 1 Treffer
- programming language specification 1 Treffer
- proof assistant 1 Treffer
- representation (systemics) 1 Treffer
- safety, risk, reliability and quality 1 Treffer
- semantics 1 Treffer
- semantics (computer science) 1 Treffer
- soundness 1 Treffer
- theory 1 Treffer
- type safety 1 Treffer
- type systems 1 Treffer
Verlag
Publikation
6 Treffer
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-09-07), S. 63-74Online unknownZugriff:
-
In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017-09-07Online unknownZugriff:
-
2018Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 34 (2012-10-01), S. 1-43Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-07-26), S. 1-29Online unknownZugriff:
-
2001Online unknownZugriff: