Login / Signup
Termination Analysis by Learning Terminating Programs.
Matthias Heizmann
Jochen Hoenicke
Andreas Podelski
Published in:
CoRR (2014)
Keyphrases
</>
termination analysis
database
management system
case study
data warehouse
active rules