Complexity checking of ARM programs, by deduction.

Mário Pereira Simão Melo de Sousa

Published in: SAC (2014)

Keyphrases

computational complexity
inference rules
relational databases
conp complete
data sets
neural network
lower complexity
real time
worst case
np complete
decision problems
space complexity
complexity analysis