A Formally-Verified Alias Analysis (Q4916050)
From MaRDI portal
scientific article; zbMATH DE number 6155865
Language | Label | Description | Also known as |
---|---|---|---|
English | A Formally-Verified Alias Analysis |
scientific article; zbMATH DE number 6155865 |
Statements
A Formally-Verified Alias Analysis (English)
0 references
19 April 2013
0 references