Monotonicity Constraints for Termination in the Integer Domain

DOI10.2168/LMCS-7(3:4)2011zbMath1237.68057MaRDI QIDQ3224670

Amir M. Ben-Amram

Publication date: 2 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

program analysisterminationranking functionsSCT

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

A combination framework for complexity ⋮ On the Termination of Integer Loops ⋮ Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems ⋮ Verification of gap-order constraint abstractions of counter systems ⋮ Ranking Functions for Linear-Constraint Loops ⋮ A second-order formulation of non-termination

Uses Software

• OEIS

This page was built for publication: Monotonicity Constraints for Termination in the Integer Domain