A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification.
Armaël GuéneauArthur CharguéraudFrançois PottierPublished in: ESOP (2018)
Keyphrases
- worst case
- object oriented
- computational complexity
- space complexity
- information systems
- memory requirements
- real time
- artificial neural networks
- expected values
- marginal likelihood
- lower complexity
- explanation based learning
- upper bound
- decision trees
- artificial intelligence
- genetic algorithm
- information retrieval
- neural network
- data sets