Termination of Monotone Programs.

Omar I. Al-Bataineh Xiaofei Xie Alwen Tiu Mark Reynolds

Published in: CoRR (2016)

Keyphrases

information systems
upper bound
computer programs
provably correct
real time
data mining
boolean functions
uniform distribution
database
machine learning
artificial intelligence
evolutionary algorithm
programming environment
automatic programming
control structures