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

Title:

Modular termination proofs of recursive java bytecode programs by term rewriting

Contributors:

Brockschmidt, Marc (VerfasserIn), Otto, Carsten (VerfasserIn), Giesl, Jürgen (VerfasserIn)

Publisher Information:

Technische Informationsbibliothek u. Universitätsbibliothek

Publication Year:

2011

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 (31 S., 523 KB) graph. Darst.

Language:

English

Relation:

Availability:

Accession Number:

edsbas.FB5BA415

Database:

BASE

*Systemvoraussetzungen: Acrobat reader*

*Result*: Modular termination proofs of recursive java bytecode programs by term rewriting