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