A framework for numeric analysis of array operations (Q5276157)
From MaRDI portal
scientific article; zbMATH DE number 6745866
Language | Label | Description | Also known as |
---|---|---|---|
English | A framework for numeric analysis of array operations |
scientific article; zbMATH DE number 6745866 |
Statements
A framework for numeric analysis of array operations (English)
0 references
14 July 2017
0 references
abstract numeric domains
0 references
array analysis
0 references
canonical abstraction
0 references
program analysis
0 references
summarization
0 references