Login / Signup

Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis.

Geoffrey L. BurnDaniel Le Métayer
Published in: J. Funct. Program. (1996)
Keyphrases
  • general purpose
  • statistical analysis
  • neural network
  • relational databases
  • theoretical framework
  • quantitative analysis
  • comparative analysis