Geometric nontermination arguments
Abstract: We 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
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings. - Cham, 2018. - 266-283, ISBN: 978-3-319-89963-3
Lecture notes in computer science. - 10806 (2018) , 266-283, ISSN: 1611-3349
- Event
-
Veröffentlichung
- (where)
-
Freiburg
- (who)
-
Universität
- (when)
-
2021
- Creator
- DOI
-
10.1007/978-3-319-89963-3_16
- URN
-
urn:nbn:de:bsz:25-freidok-1764221
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:35 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Leike, Jan
- Heizmann, Matthias
- Universität
Time of origin
- 2021
Other Objects (12)
Philanthropia als theologisches Argument
Measurement-induced geometric phases
l-convex legendre curves and geometric inequalities
Implicit arguments in English and Rutooro : : a contrastive study
Einige Argumente gegen die Silbe als universale prosodische Hauptkategorie
Persönlichkeitsfragebogen – kritische und konstruktive Argumente
Prekäre Selbstversicherung : die Weimarer Republik als Metapher und geschichtspolitisches Argument
Zur Bekehrung des ungläubigen Thomas (Fingerzahlen und Gematrie als Argument)
Are publicly available (personal) data “up for grabs”? Three privacy arguments
Constrained inefficiency in GEI: A geometric argument
Linear recurrent double sequences with constant border in M2(F2) are classified according to their geometric content
Analytic and geometric problems related to capillary hypersurfaces
Philanthropia als theologisches Argument
Measurement-induced geometric phases
l-convex legendre curves and geometric inequalities
Implicit arguments in English and Rutooro : : a contrastive study
Einige Argumente gegen die Silbe als universale prosodische Hauptkategorie
Persönlichkeitsfragebogen – kritische und konstruktive Argumente
Prekäre Selbstversicherung : die Weimarer Republik als Metapher und geschichtspolitisches Argument
Zur Bekehrung des ungläubigen Thomas (Fingerzahlen und Gematrie als Argument)
Are publicly available (personal) data “up for grabs”? Three privacy arguments
Constrained inefficiency in GEI: A geometric argument
Linear recurrent double sequences with constant border in M2(F2) are classified according to their geometric content
Analytic and geometric problems related to capillary hypersurfaces
Philanthropia als theologisches Argument
Measurement-induced geometric phases
l-convex legendre curves and geometric inequalities
Implicit arguments in English and Rutooro : : a contrastive study
Einige Argumente gegen die Silbe als universale prosodische Hauptkategorie
Persönlichkeitsfragebogen – kritische und konstruktive Argumente
Prekäre Selbstversicherung : die Weimarer Republik als Metapher und geschichtspolitisches Argument
Zur Bekehrung des ungläubigen Thomas (Fingerzahlen und Gematrie als Argument)
Are publicly available (personal) data “up for grabs”? Three privacy arguments
Constrained inefficiency in GEI: A geometric argument
Linear recurrent double sequences with constant border in M2(F2) are classified according to their geometric content