Result: Automated termination proofs for Java programs with cyclic data

Title:

Automated termination proofs for Java programs with cyclic data

Contributors:

Brockschmidt, Marc

Publisher Information:

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

Publication Year:

2012

Collection:

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

Subject Terms:

Terminierung, Java, 54.53

Document Type:

*Academic Journal* text

File Description:

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

Language:

English

Availability:

Accession Number:

edsbas.BCB3869D

Database:

BASE

*Systemvoraussetzungen: Acrobat reader ; Text in engl.*

*Result*: Automated termination proofs for Java programs with cyclic data