A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis.

Yves Bertot Benjamin Grégoire Xavier Leroy

Published in: TYPES (2004)

Keyphrases

real time
statistical analysis
databases
real world
data mining
learning algorithm
artificial intelligence
e learning
similarity measure
image analysis
quantitative analysis