SIMPAL: a compositional reasoning framework for imperative programs.

Lucas G. Wagner David A. Greve Andrew Gacek

Published in: SPIN (2017)

Keyphrases

theoretical framework
main contribution
logical framework
context aware
lightweight
neural network
knowledge base
bayesian networks
relational databases
knowledge representation
general purpose
conceptual framework
meta level