Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Suche: Termination graphs for Java bytecode

Treffer 1 - 12 von 12

1

Termination Graphs for Java Bytecode.
Marc Brockschmidt ; Carsten Otto ; Christian von Essen ; et al.
Verification, Induction, Termination Analysis. :17-37

Konferenz
Zu den Favoriten
2

Dieses Ergebnis kann Gästen nicht angezeigt werden.

3

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
Brockschmidt, Marc ; Otto, Carsten ; Brockschmidt, Marc ; et al.

E-Ressource
Zu den Favoriten
4

Dieses Ergebnis kann Gästen nicht angezeigt werden.

5

Dieses Ergebnis kann Gästen nicht angezeigt werden.

6

Reachability Analysis of Program Variables
NIKOLIC, Durica ; SPOTO, Nicola Fausto
Lecture Notes in Computer Science ISBN: 9783642313646

static analysis Abstract interpretation Reachability Analysis pointer analysis Java bytecode 0202 electrical engineer... …
Buch
Zu den Favoriten
7

Reachability Analysis of Program Variables.
NIKOLIĆ, ĐURICA ; SPOTO, FAUSTO
ACM Transactions on Programming Languages & Systems. Dec2013, Vol. 35 Issue 4, p14:1-14:68. 68p.

ANDROID (Operating syste... JAVA programming languag... PROGRAMMING languages MATHEMATICAL variables MOBILE operating systems
Fachzeitschrift
Zu den Favoriten
8

Dieses Ergebnis kann Gästen nicht angezeigt werden.

9

Dieses Ergebnis kann Gästen nicht angezeigt werden.

10

A specification language for distributed algorithms
Wiemuth, Felix

Spezifikationssprache Statische Analyse Terminierung 16. Peace & justice Verteilter Algorithmus
Zu den Favoriten
11

Automatic Extraction of Program Models for Formal Software Verification
de Carvalho Gomes, Pedro

Program Models Datorsystem Software Verification Computer Systems Compositional Verificati... Static Analysis …
Dissertation
Zu den Favoriten
12

Quantified Abstract Configurations of Distributed Systems
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Puebla, Germán ; et al.

E-Ressource
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter