Abstraction Refinement for Termination.

Byron Cook Andreas Podelski Andrey Rybalchenko

Published in: SAS (2005)

Keyphrases

high level
step wise
term rewriting
rewrite systems
database
neural network
object oriented databases
temporal abstractions
refinement process
term rewrite systems