An Improved Rule for While Loops in Deductive Program Verification.

Bernhard Beckert Steffen Schlager Peter H. Schmitt

Published in: ICFEM (2005)

Keyphrases

rule learning
rule language
active databases
abductive inference
decision making
neural network
three dimensional
multiscale
data structure
digital libraries
expert systems
artificial neural networks
rule sets
production rules