Information-flow and data-flow analysis of while-programs (Q5184379)
From MaRDI portal
scientific article; zbMATH DE number 3892560
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Information-flow and data-flow analysis of while-programs |
scientific article; zbMATH DE number 3892560 |
Statements
Information-flow and data-flow analysis of while-programs (English)
0 references
1985
0 references
data flow
0 references
analysis of programs
0 references
automatic error detection
0 references
debugging
0 references
software maintenance
0 references
information-flow analysis
0 references
while-programs
0 references
