Program equivalence by circular reasoning.

Dorel Lucanu Vlad Rusu

Published in: Formal Aspects Comput. (2015)

Keyphrases

knowledge base
reasoning systems
reasoning process
computer programs
programming environment
logical reasoning
knowledge representation
test cases
uncertain information
static analysis
spatial reasoning
control program
automated reasoning
neural network
hough transform
natural language
artificial intelligence