Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Suche: Automated termination analysis of Java bytecode by term rewriting

Treffer 1 - 6 von 6

1

Automated Termination Analysis of Java Bytecode by Term Rewriting.
Carsten Otto ; Marc Brockschmidt ; Christian von Essen ; et al.
RTA. :259-276

Konferenz
Zu den Favoriten
2

Automated Termination Analysis of Java Bytecode by Term Rewriting
Otto, Carsten ; Brockschmidt, Marc ; von Essen, Christian ; et al.

E-Ressource
Zu den Favoriten
3

Dieses Ergebnis kann Gästen nicht angezeigt werden.

4

Dieses Ergebnis kann Gästen nicht angezeigt werden.

5

Termination analysis for imperative programs operating on the heap
Brockschmidt, Marc ; Giesl, Jürgen
Aachen : Publikationsserver der RWTH Aachen University, Aachener Informatik-Berichte 2013,18 II, 224 S. : graph. Darst. (2014). = Zugl.: Aachen, Techn. Hochsch., Diss., 2013

Informatik program analysis Verifikation Programmanalyse termination analysis verification …
Dissertation
Zu den Favoriten
6

From Jinja bytecode to term rewriting: A complexity reflecting transformation: From Jinja bytecode to term rewriting: a complexity reflecting transformation
Moser, Georg ; Schaper, Michael
Information and Computation. 261:116-143

program transformation Analysis of algorithms a... 0102 computer and inform... 02 engineering and techn... termination and resource... AUTOMATED TERMINATION AN... …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter