scientific article; zbMATH DE number 1953270

zbMATH Open1026.68539MaRDI QIDQ4414722FDOQ4414722

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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)