Cargando…

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Difference constraints have been used for termination analysis in the literature, where they denote relational inequalities of the form [Formula: see text] , and describe that the value of x in the current state is at most the value of y in the previous state plus some constant [Formula: see text] ....

Descripción completa

Detalles Bibliográficos
Autores principales: Sinn, Moritz, Zuleger, Florian, Veith, Helmut
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Netherlands 2017
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6044401/
https://www.ncbi.nlm.nih.gov/pubmed/30069066
http://dx.doi.org/10.1007/s10817-016-9402-4

Ejemplares similares