Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis<sup>†</sup> (Q4880526)
From MaRDI portal
scientific article; zbMATH DE number 885353
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis<sup>†</sup> |
scientific article; zbMATH DE number 885353 |
Statements
Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis<sup>†</sup> (English)
0 references
9 June 1996
0 references
program analyses
0 references
compiler
0 references
