Inferring Loop Invariants through Gamification.

Dimitar Bounov Anthony DeRossi Massimiliano Menarini William G. Griswold Sorin Lerner

Published in: CHI (2018)

Keyphrases

user experience
game design
affine invariant
moment invariants
imperative programs
data mining
geometric invariants
machine learning
multiscale
pattern recognition
multi view
serious games
feedback loop
invariant representation
game mechanics