Proving the Correctness of Compiler Optimizations Based on Strictness Analysis.

Geoffrey L. Burn Daniel Le Métayer

Published in: PLILP (1993)

Keyphrases

data analysis
neural network
learning algorithm
image analysis
programming language
statistical analysis
automatic analysis
databases
database systems
similarity measure
information technology
quantitative analysis