No label defined (Q4518888)
From MaRDI portal
scientific article; zbMATH DE number 1538033
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1538033 |
Statements
3 December 2000
0 references
inter-procedural program analysis
0 references
explicit parallelism
0 references
bit-vector problems
0 references
simple constant propagation
0 references
coincidence theorems
0 references
analysis of parallel programs
0 references
