Alias calculus, change calculus and frame inference.

Alexander Kogtenkov Bertrand Meyer Sergey Velder

Published in: Sci. Comput. Program. (2015)

Keyphrases

computer algebra
computer vision
proof procedure
automated deduction
database
inference mechanism
automated theorem proving