Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- languages 8 Treffer
- logiciel 8 Treffer
- software 8 Treffer
- langages de programmation 7 Treffer
- programming languages 7 Treffer
-
45 weitere Werte:
- proof theory 4 Treffer
- proof-carrying code 4 Treffer
- teoria demonstracion 4 Treffer
- theorie preuve 4 Treffer
- theorie type 4 Treffer
- type theory 4 Treffer
- verification 4 Treffer
- boolean logic 3 Treffer
- compilacion 3 Treffer
- compilation 3 Treffer
- genie logiciel 3 Treffer
- hoare logic 3 Treffer
- informatique theorique 3 Treffer
- language theory and syntactical analysis 3 Treffer
- logica booleana 3 Treffer
- logica hoare 3 Treffer
- logiciel a securite critique 3 Treffer
- logique booleenne 3 Treffer
- logique hoare 3 Treffer
- preuve programme 3 Treffer
- program proof 3 Treffer
- prueba programa 3 Treffer
- safety-critical software 3 Treffer
- semantica 3 Treffer
- semantics 3 Treffer
- semantique 3 Treffer
- software engineering 3 Treffer
- theoretical computing 3 Treffer
- theorie des langages et analyse syntaxique 3 Treffer
- automatic proving 2 Treffer
- compilador 2 Treffer
- compilateur 2 Treffer
- compiler 2 Treffer
- demonstration automatique 2 Treffer
- demostracion automatica 2 Treffer
- formal verification 2 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 2 Treffer
- ingenieria informatica 2 Treffer
- intermediate language 2 Treffer
- lambda calcul 2 Treffer
- lambda calculo 2 Treffer
- lambda calculus 2 Treffer
- langage intermediaire 2 Treffer
- lenguaje intermediario 2 Treffer
- logical programming 2 Treffer
Publikation
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 3 Treffer
- conference record of popl® 2006: the 33rd acm sigplan-sigact symposium on principles of programming languages®, january 11-13, 2006, charleston, south carolina, usa 2 Treffer
- pldi'06: proceedings of the 2006 acm sigplan conference on programming language design and implementation, june 10-16, 2006, ottawa, ontario, canada 1 Treffer
- popl® 2007: the 34th acm sigplan-sigact symposium on principles of programming languages®: papers presented at the symposium, january 17-19, 2007, nice, france 1 Treffer
- proceedings of the 2004 acm sigplan: international conference on functional programming (icfp'04), snowbird, utah, usa, september 19-21, 2004 1 Treffer
- 2 weitere Werte:
Sprache
10 Treffer
-
In: Conference record of POPL® 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®, January 11-13, Jg. 41 (2006), Heft 1, S. 42-54KonferenzZugriff:
-
In: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP'06), September 18-20, 2006 - Portland, Oregon, USA, Jg. 41 (2006), Heft 9, S. 160-171KonferenzZugriff:
-
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. 175-188KonferenzZugriff:
-
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. 66-77KonferenzZugriff:
-
In: POPL® 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®: Papers presented at the Symposium, January 17-19, Jg. 42 (2007), Heft 1, S. 109-122KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 468-479KonferenzZugriff:
-
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:
-
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. 401-414KonferenzZugriff:
-
In: Conference record of POPL® 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®, January 11-13, Jg. 41 (2006), Heft 1, S. 320-333KonferenzZugriff: