Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning.

Long H. Pham Jun Sun Quang Loc Le

Published in: APLAS (2019)

Keyphrases

learning algorithm
data structure
learning process
learning systems
online learning
background knowledge
probabilistic model
knowledge acquisition
database
neural network
knowledge base
learning tasks
learning analytics