Snugglebug: a powerful approach to weakest preconditions.

Satish Chandra Stephen J. Fink Manu Sridharan

Published in: PLDI (2009)

Keyphrases

databases
management system
situation calculus
explanation based learning
database
data sets
social networks
data structure
learning environment