• Suche: Modular termination proofs of recursive java bytecode programs by term rewriting

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 4 von 4

1

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

termination Java Bytecode term rewriting recursion
Fachzeitschrift
Zur Merkliste hinzufügen
2

Modular termination proofs of recursive Java Bytecode programs by term rewriting
Marc Brockschmidt ; Carsten Otto ; Jürgen Giesl ; et al.
http://drops.dagstuhl.de/opus/volltexte/2011/3114/pdf/7.pdf.

Java Bytecode term rewriting recursion Digital Object...
Fachzeitschrift
Zur Merkliste hinzufügen
3

Modular termination proofs of recursive java bytecode programs by term rewriting
Brockschmidt, Marc (VerfasserIn) ; Otto, Carsten (VerfasserIn) ; Giesl, Jürgen (VerfasserIn)

54.00
Fachzeitschrift
Zur Merkliste hinzufügen
4

Dieses Ergebnis kann Gästen nicht angezeigt werden.

Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter