Abstract allocation as a unified approach to polyvariance in control-flow analyses (Q4625159)
From MaRDI portal
scientific article; zbMATH DE number 7027029
Language | Label | Description | Also known as |
---|---|---|---|
English | Abstract allocation as a unified approach to polyvariance in control-flow analyses |
scientific article; zbMATH DE number 7027029 |
Statements
Abstract allocation as a unified approach to polyvariance in control-flow analyses (English)
0 references
20 February 2019
0 references
0 references
0 references