PBLInv: Postcondition-based Loop Invariant Learning for C Programs.

Hong Lu Chengyi Wang Jiacheng Gui Hao Huang

Published in: QRS (2020)

Keyphrases

learning scheme
learning process
supervised learning
learning scenarios
incremental learning
neural network
learning algorithm
mobile learning
inductive learning
real time
expert systems
active learning
programming language
online learning
knowledge acquisition
learning analytics