Generating data flow analysis algorithms from modal specifications (Q1330457)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Generating data flow analysis algorithms from modal specifications |
scientific article; zbMATH DE number 609585
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generating data flow analysis algorithms from modal specifications |
scientific article; zbMATH DE number 609585 |
Statements
Generating data flow analysis algorithms from modal specifications (English)
0 references
21 July 1994
0 references
bit-vector algorithms
0 references
automatic identification of program points
0 references
data flow analysis
0 references
0 references
0.87516654
0 references
0.8721086
0 references
0 references
0.8657539
0 references
0.86115694
0 references
0.8564311
0 references
0.8516648
0 references
0.8489942
0 references
