scientific article; zbMATH DE number 2018591

MaRDI QIDQ4440336zbMATH OpenFDO

Authors Chin Soon Lee

Publication date 16 December 2003

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• The size-change principle for program termination
• Size-Change Termination and Bound Analysis
• Size-change termination, monotonicity constraints and ranking functions
• Ranking Functions for Size-Change Termination II
• Programming Languages and Systems

Cited in

(17)

• The size-change principle and dependency pairs for termination of term rewriting
• Execution termination and computation determinacy of data-flow program nets
• Termination analysis for functional programs
• Algorithms with polynomial interpretation termination proof
• Resource control graphs
• Asymptotically precise ranking functions for deterministic size-change systems
• Size-Change Termination and Bound Analysis
• scientific article; zbMATH DE number 2087344 (Why is no real title available?)
• Elimination Techniques for Program Analysis
• Polynomial time termination and constraint satisfaction tests
• The size-change principle for program termination
• Termination Analysis of C Programs Using Compiler Intermediate Languages
• On Termination of Binary CLP Programs
• Programming Languages and Systems
• Programming Languages and Systems
• Affine-based size-change termination.
• Deciding Polynomial Termination Complexity for VASS Programs

Describes a project that uses

Uses Software

• AProVE

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 Q4440336)