Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs.

Haihe Shi Jinyun Xue

Published in: SNPD (3) (2007)

Keyphrases

provably correct
situation calculus
formal methods
generation method
database
machine learning
learning algorithm
open source
fine grained