The impact of higher-order state and control effects on local relational reasoning

Keyphrases

• State Effects 100%
• Game Semantics 100%
• Relational Reasoning 100%
• High-lying States 100%
• High-order Control 100%
• Control Effect 100%
• Design Space 33%
• Abstract Game 33%
• Logical Relations 33%
• Reasoning about Programs 33%
• Haskell 33%
• Program Equivalence 33%
• Independence Principle 33%
• Bisimulation Relation 33%
• Representation Independence 33%
• Semantic Characterization 33%
• Local State 33%

Computer Science

• And-States 100%
• Machine Learning 100%
• Logical Relation 50%
• Reasoning about Programs 50%