Advances in Reasoning Principles for Contextual Equivalence and Termination

Keyphrases

• Contextual Equivalence 100%
• Call-by-value 50%
• Logical Relations 50%
• Recursive Types 50%
• Polymorphic Form 50%
• Parametric Model 25%
• Dynamic Allocation 25%
• Proof Techniques 25%
• PhD Dissertations 25%
• First-order 25%
• Denotational Semantics 25%
• Fully Automated 25%
• Kripke 25%
• Regular Set 25%
• Size-change Principle 25%
• Recursive Dynamics 25%
• Termination Analysis 25%
• Automated Algorithm 25%
• Tree Grammars 25%

Computer Science

• Call by Value 100%
• Logical Relation 100%
• Parametric Model 50%
• Denotational Semantics 50%
• Polymorphic Type 50%
• Dynamic Allocation 50%
• Termination Analysis 50%
• Proof 50%