Login / Signup
Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis.
Geoffrey L. Burn
Daniel Le Métayer
Published in:
J. Funct. Program. (1996)
Keyphrases
</>
general purpose
statistical analysis
neural network
relational databases
theoretical framework
quantitative analysis
comparative analysis