Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 12 Treffer
- software 11 Treffer
- alias analysis 10 Treffer
- computer graphics and computer-aided design 9 Treffer
- reachability 7 Treffer
-
45 weitere Werte:
- programming language 6 Treffer
- algorithms 5 Treffer
- languages 5 Treffer
- pointer analysis 5 Treffer
- points-to analysis 5 Treffer
- cfl-reachability 4 Treffer
- context (language use) 4 Treffer
- context-free language reachability 4 Treffer
- flow analysis 4 Treffer
- java 4 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 4 Treffer
- acm 3 Treffer
- algorithm 3 Treffer
- applied sciences 3 Treffer
- asequibilidad 3 Treffer
- atteignabilite 3 Treffer
- cfl reachability 3 Treffer
- computer 3 Treffer
- computer science; control theory; systems 3 Treffer
- computer.software_genre 3 Treffer
- context free language 3 Treffer
- context-sensitive analysis 3 Treffer
- demand-driven analysis 3 Treffer
- exact sciences and technology 3 Treffer
- informatique 3 Treffer
- informatique; automatique theorique; systemes 3 Treffer
- langage cf 3 Treffer
- lenguaje cf 3 Treffer
- programming languages 3 Treffer
- sciences appliquees 3 Treffer
- sciences exactes et technologie 3 Treffer
- set constraints 3 Treffer
- sigplan 3 Treffer
- static analysis 3 Treffer
- theoretical computer science 3 Treffer
- type qualifiers 3 Treffer
- 02 engineering and technology 2 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- 020204 information systems 2 Treffer
- 020207 software engineering 2 Treffer
- analisis programa 2 Treffer
- analyse programme 2 Treffer
- code 2 Treffer
- experimentation 2 Treffer
- genie logiciel 2 Treffer
Verlag
Publikation
- proceedings of the 2004 acm sigplan conference on programming language design and implementatation (pldi'04), washington, dc, usa, june 9-11, 2004 1 Treffer
- proceedings of the 20th acm conference on object-oriented programming, systems, languages, and applications (oopsla'05) 1 Treffer
- proceedings of the 28th acm sigplan-sigact symposium on principles of programming languages® (popl® 2001) 1 Treffer
Sprache
36 Treffer
-
In: ACM SIGPLAN notices, Jg. 53 (2018), Heft 4, S. 196-210KonferenzZugriff:
-
In: ACM Sigplan Notices, Jg. 39 (2004-06-01), Heft 6Online academicJournal
-
In: ACM SIGPLAN NOTICES, Jg. 48 (2013), Heft 6, S. 435-446Online KonferenzZugriff:
-
In: Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementatation (PLDI'04), Washington, DC, USA, June 9-11, Jg. 39 (2004), Heft 6, S. 207-218KonferenzZugriff:
-
In: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages® (POPL® 2001), Jg. 36 (2001), Heft 3, S. 54-66KonferenzZugriff:
-
In: ACM SIGPLAN NOTICES, Jg. 36 (2001), Heft NO 3, S. 54-66Online KonferenzZugriff:
-
In: ACM SIGPLAN Notices, Jg. 53 (2018-06-11), S. 196-210Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 48 (2013-06-16), S. 435-446Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 39 (2004-06-09), S. 207-218Online unknownZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Proceedings of the 20th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'05), Jg. 40 (2005), Heft 10, S. 59-76KonferenzZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-06-14), S. 263-277Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 50 (2015-01-14), S. 83-95Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 49 (2014-10-15), S. 829-845Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 48 (2013-06-20), S. 85-96Online unknownZugriff: