Result: Termination graphs for Java bytecode

Title:

Termination graphs for Java bytecode

Contributors:

Brockschmidt, Marc

Publisher Information:

Technische Informationsbibliothek u. Universitätsbibliothek
Niedersächsische Staats- und Universitätsbibliothek

Publication Year:

2010

Collection:

Georg-August-Universität Göttingen: GOEDOC

Subject Terms:

54.00

Document Type:

*Academic Journal* text

File Description:

Elektronische Ressource; electronic resource; remote; application/pdf; Online-Ressource (32 S., 367 KB) graph. Darst.

Language:

English

Relation:

Availability:

Accession Number:

edsbas.F6FAA43E

Database:

BASE

*Systemvoraussetzungen: Acrobat reader*

*Result*: Termination graphs for Java bytecode