A Dependently Typed Framework for Static Analysis of Program Execution Costs.

Edwin C. Brady Kevin Hammond

Published in: IFL (2005)

Keyphrases

static analysis
program execution
dynamic analysis
data sets
databases
decision trees
artificial intelligence
training data
conceptual model
multi processor