A Unified Theory of Program Logics: An Approach based on the n-Calculus.

Kohei Honda Nobuko Yoshida

Published in: BCS Int. Acad. Conf. (2008)

Keyphrases

computer algebra
proof theoretic
theoretical basis
proof theory
data sets
theoretical framework
test cases
default reasoning
genetic algorithm