Proving Properties of Co-logic Programs with Negation by Program Transformations.

Published in: LOPSTR (2012)

Keyphrases

desirable properties
imperative programs
data sets
neural network
information systems
decision trees
multiscale
software engineering
rough sets