Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- compilador 2 Treffer
- compilateur 2 Treffer
- compiler 2 Treffer
- aplicacion industrial 1 Treffer
- application industrielle 1 Treffer
-
45 weitere Werte:
- certificacion 1 Treffer
- certification 1 Treffer
- comportamiento programa 1 Treffer
- comportement programme 1 Treffer
- concordance forme 1 Treffer
- domain specific language 1 Treffer
- domain-specific languages 1 Treffer
- envoi message 1 Treffer
- erlang 1 Treffer
- essai programme 1 Treffer
- fiabilidad 1 Treffer
- fiabilidad logicial 1 Treffer
- fiabilite 1 Treffer
- fiabilite logiciel 1 Treffer
- functional language 1 Treffer
- functional programming 1 Treffer
- gestion memoire 1 Treffer
- gestion memoria 1 Treffer
- industrial application 1 Treffer
- informatique theorique 1 Treffer
- ingenieria informatica 1 Treffer
- internet 1 Treffer
- langage dedie 1 Treffer
- langage fonctionnel 1 Treffer
- language theory and syntactical analysis 1 Treffer
- lenguaje dedicado 1 Treffer
- lenguaje funcional 1 Treffer
- marcador 1 Treffer
- message passing 1 Treffer
- pattern matching 1 Treffer
- pointer 1 Treffer
- pointeur 1 Treffer
- preuve programme 1 Treffer
- program behavior 1 Treffer
- program proof 1 Treffer
- program testing 1 Treffer
- program verification 1 Treffer
- programacion funcional 1 Treffer
- programmation fonctionnelle 1 Treffer
- prueba programa 1 Treffer
- reecriture 1 Treffer
- reescritura 1 Treffer
- reliability 1 Treffer
- rewriting 1 Treffer
- software reliability 1 Treffer
Publikation
- pldi'06: proceedings of the 2006 acm sigplan conference on programming language design and implementation, june 10-16, 2006, ottawa, ontario, canada 1 Treffer
- principles, logics, and implementations of high-level programming languages (pli) 1 Treffer
- proceedings of the 2004 acm sigplan: international conference on functional programming (icfp'04), snowbird, utah, usa, september 19-21, 2004 1 Treffer
Sprache
3 Treffer
-
In: PLDI'06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 10-16, Jg. 41 (2006), Heft 6, S. 84-95KonferenzZugriff:
-
In: Proceedings of the 2004 ACM SIGPLAN: International Conference on Functional Programming (ICFP'04), Snowbird, Utah, USA, September 19-21, Jg. 39 (2004), Heft 9, S. 201-212KonferenzZugriff:
-
In: Principles, Logics, and Implementations of High-Level Programming Languages (PLI), Jg. 37 (2002), Heft 12, S. 25-34academicJournalZugriff: