Analysis of the equality relations for the program terms (Q5030193)
From MaRDI portal
scientific article; zbMATH DE number 7474231
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analysis of the equality relations for the program terms |
scientific article; zbMATH DE number 7474231 |
Statements
Analysis of the equality relations for the program terms (English)
0 references
16 February 2022
0 references
semantic property
0 references
abstract interpretation
0 references
entry state
0 references
program point
0 references
term equality
0 references
