Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

Geometric Nontermination Arguments

Simple item page
dc.contributor.authorLeike, Jan
dc.contributor.authorHeizmann, Matthias
dc.contributor.editorBeyer, Dirk
dc.contributor.editorHuisman, Marieke
dc.coverage.spatialThessaloniki, Greece
dc.date.accessioned2023-12-01T04:28:31Z
dc.date.available2023-12-01T04:28:31Z
dc.date.created14 - 20 April 2018
dc.date.issued2018
dc.date.updated2022-08-28T08:16:38Z
dc.description.abstractWe present a new kind of nontermination argument, called geometric nontermination argument. The geometric nontermination argument is a finite representation of an infinite execution that has the form of a sum of several geometric series. For so-called linear lasso programs we can decide the existence of a geometric nontermination argument using a nonlinear algebraic ∃-constraint. We show that a deterministic conjunctive loop program with nonnegative eigenvalues is nonterminating if an only if there exists a geometric nontermination argument. Furthermore, we present an evaluation that demonstrates that our method is feasible in practice.en_AU
dc.format.mimetypeapplication/pdfen_AU
dc.identifier.isbn978-3-319-89959-6en_AU
dc.identifier.urihttp://hdl.handle.net/1885/307613
dc.language.isoen_AUen_AU
dc.provenanceThis chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were madeen_AU
dc.publisherSpringeren_AU
dc.relation.ispartofseries24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018en_AU
dc.rights© The Author(s) 2018en_AU
dc.rights.licenseCreative Commons Attribution 4.0 International Licenseen_AU
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/en_AU
dc.sourceTools and Algorithms for the Construction and Analysis of Systems, conference proceedingsen_AU
dc.titleGeometric Nontermination Argumentsen_AU
dc.typeConference paperen_AU
dcterms.accessRightsOpen Accessen_AU
local.bibliographicCitation.lastpage283en_AU
local.bibliographicCitation.startpage266en_AU
local.contributor.affiliationLeike, Jan, College of Engineering and Computer Science, ANUen_AU
local.contributor.affiliationHeizmann, Matthias, University of Freiburgen_AU
local.contributor.authoruidLeike, Jan, u5485774en_AU
local.description.notesImported from ARIESen_AU
local.description.refereedYes
local.identifier.absfor461305 - Data structures and algorithmsen_AU
local.identifier.ariespublicationu4485658xPUB2357en_AU
local.identifier.doi10.1007/978-3-319-89963-3_16en_AU
local.identifier.scopusID2-s2.0-85045848630
local.identifier.thomsonIDWOS:000445822600016
local.publisher.urlhttps://link.springer.com/en_AU
local.type.statusPublished Versionen_AU

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Geometric Nontermination Arguments.pdf
Size:
349.22 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS

abcd