Final Report: Automated Termination and Complexity Analysis of Imperative Programs

dc.contributor.author	Giesl, Jürgen
dc.date.accessioned	2025-02-03T17:24:31Z
dc.date.available	2025-02-03T17:24:31Z
dc.date.issued	2024-07-15
dc.description.abstract	[no abstract available]	eng
dc.description.sponsorship	DFG Project 235950644, Reference GI 274/6-2
dc.description.version	publishedVersion
dc.format.extent	10 S.
dc.identifier.uri	https://oa.tib.eu/renate/handle/123456789/18549
dc.identifier.uri	https://doi.org/10.34657/17569
dc.language.iso	eng
dc.publisher	Hannover : Technische Informationsbibliothek
dc.rights.license	This document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties.	eng
dc.rights.license	Es gilt das deutsche Urheberrecht. Das Werk bzw. der Inhalt darf zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.	ger
dc.subject.ddc	4
dc.title	Final Report: Automated Termination and Complexity Analysis of Imperative Programs	eng
dc.type	Report
tib.accessRights	openAccess

Files

Now showing 1 - 1 of 1