Rank: A Tool to Check Program Termination and Computational Complexity.

Christophe Alias Alain Darte Paul Feautrier Laure Gonnord

Published in: ICST Workshops (2013)

Keyphrases

computational complexity
computer programs
np complete
computationally efficient
computational efficiency
software tools
program understanding
special case
neural network
artificial intelligence
data model
np hard
rate distortion
high computational complexity
rank aggregation
rank order