Towards Modularly Comparing Programs Using Automated Theorem Provers.

Chris Hawblitzel Ming Kawaguchi Shuvendu K. Lahiri Henrique Rebêlo

Published in: CADE (2013)

Keyphrases

automated theorem provers
computer algebra
computer programs
data sets
database
real time
special case
intermediate level
automatic programming
data mining
three dimensional
high level
database systems
mobile robot
first order logic
prolog programs