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

Long H. Pham Jun Sun Quang Loc Le

Published in: CoRR (2019)

Keyphrases

learning algorithm
data structure
knowledge acquisition
online learning
supervised learning
information retrieval
learning analytics
learning problems
active learning
learning process
reinforcement learning
information systems
knowledge base
genetic algorithm
database
inductive inference
computer programming