scientific article; zbMATH DE number 1953270

MaRDI QIDQ4414722zbMATH OpenFDO

Authors Amir M. Ben-Amram

Publication date 27 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2566/25660003.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• An intuitionistic analysis of size-change termination
• The size-change principle for program termination
• Size-change termination, monotonicity constraints and ranking functions
• Ranking Functions for Size-Change Termination II
• Size-Change Termination and Bound Analysis

Cited in

(2)

• An intuitionistic analysis of size-change termination
• The strength of the SCT criterion

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4414722)