Size-Change Termination, Monotonicity Constraints and Ranking Functions (Q5901015)
From MaRDI portal
scientific article; zbMATH DE number 5761685
Language | Label | Description | Also known as |
---|---|---|---|
English | Size-Change Termination, Monotonicity Constraints and Ranking Functions |
scientific article; zbMATH DE number 5761685 |
Statements
Size-Change Termination, Monotonicity Constraints and Ranking Functions (English)
0 references
27 July 2010
0 references
program analysis
0 references
SCT
0 references
termination
0 references
ranking functions
0 references