Verification and synthesis of addition programs under the rules of correctness of statements.

Vladimir I. Shelekhov

Published in: Autom. Control. Comput. Sci. (2011)

Keyphrases

classification rules
provably correct
production rules
functional programs
model checking
databases
artificial intelligence
natural language
association rules
query language
case based reasoning
rule induction
functional verification