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 on other websites via the internet or passed on to external parties.	eng
dc.rights.license	Dieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht auf anderen Webseiten im Internet bereitgestellt oder an Außenstehende weitergegeben werden.	ger
dc.subject.ddc	004
dc.title	Final Report: Automated Termination and Complexity Analysis of Imperative Programs
dc.type	Report
dc.type	Text
tib.accessRights	openAccess

Now showing 1 - 1 of 1