Static Analysis of Upper and Lower Bounds on Dependences and Parallelism.
William PughDavid WonnacottPublished in: ACM Trans. Program. Lang. Syst. (1994)
Keyphrases
- upper and lower bounds
- static analysis
- upper bound
- dynamic analysis
- lower bound
- source code
- lower and upper bounds
- symbolic execution
- regular expressions
- abstract interpretation
- sample complexity
- java card
- machine learning
- worst case
- test suite
- computational complexity
- decision trees
- learning algorithm
- databases
- database