Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- abstract machine 1 Treffer
- assembler 1 Treffer
- automata. abstract machines. turing machines 1 Treffer
- automates. machines abstraites. machines de turing 1 Treffer
- automatic proving 1 Treffer
-
45 weitere Werte:
- calcul construction 1 Treffer
- calculo construccion 1 Treffer
- compilacion 1 Treffer
- compilador 1 Treffer
- compilateur 1 Treffer
- compilation 1 Treffer
- compiler 1 Treffer
- demonstration automatique 1 Treffer
- demostracion automatica 1 Treffer
- denotational semantics 1 Treffer
- dependent types 1 Treffer
- informatique theorique 1 Treffer
- intermediate language 1 Treffer
- interprete 1 Treffer
- interpreter 1 Treffer
- interpreteur 1 Treffer
- langage assembleur 1 Treffer
- langage intermediaire 1 Treffer
- langage programmation 1 Treffer
- langages de programmation 1 Treffer
- language theory 1 Treffer
- language theory and syntactical analysis 1 Treffer
- languages 1 Treffer
- lenguaje ensamblador 1 Treffer
- lenguaje intermediario 1 Treffer
- lenguaje programacion 1 Treffer
- logiciel 1 Treffer
- machine abstraite 1 Treffer
- machine virtuelle 1 Treffer
- maquina abstracta 1 Treffer
- maquina virtual 1 Treffer
- normalisation 1 Treffer
- normalizacion 1 Treffer
- programming language 1 Treffer
- programming languages 1 Treffer
- semantica denotacional 1 Treffer
- semantique denotationnelle 1 Treffer
- software 1 Treffer
- standardization 1 Treffer
- structural design 1 Treffer
- teoria lenguaje 1 Treffer
- theoretical computing 1 Treffer
- theorie des langages et analyse syntaxique 1 Treffer
- theorie langage 1 Treffer
- verification 1 Treffer
Publikation
Sprache
2 Treffer
-
In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP'02), Jg. 37 (2002), Heft 9, S. 235-246KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 54-65KonferenzZugriff: