An abstract interpretation framework for termination

Keyphrases

• Abstract Interpretation 100%
• Fixpoint 100%
• Variant Function 80%
• Design Principles 60%
• Proof Analysis 60%
• Proof Test 60%
• Safety Properties 60%
• Proof Techniques 40%
• Collecting Semantics 40%
• Static Analysis Method 40%
• Structural Induction 40%
• Program Structure 40%
• Termination Proof 20%
• Correctness Proofs 20%
• Back Analysis 20%
• Static Analysis 20%
• Invariance 20%
• Hoare Logic 20%
• Verification Method 20%
• Structure Control 20%
• Program Control 20%
• Induction Principle 20%
• Verification Analysis 20%
• Total Correctness 20%
• Program Data 20%
• Interpretation Design 20%
• Nested Loops 20%
• Trace-based 20%
• Transition Invariant 20%
• Semantic Concept 20%
• Execution Trace 20%
• Structure Data 20%

Computer Science

• Abstract Interpretation 100%
• Static Program Analysis 100%
• Approximation (Algorithm) 66%
• Structural Induction 66%
• Data Structure 33%
• Correctness Proofs 33%
• Syntactics 33%
• Total Correctness 33%
• Control Structure 33%
• Execution Trace 33%
• Nested Loop 33%
• Semantic Concept 33%