Symbolic Evaluation and the Analysis of Programs (Q4198029)
From MaRDI portal
scientific article; zbMATH DE number 3639120
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symbolic Evaluation and the Analysis of Programs |
scientific article; zbMATH DE number 3639120 |
Statements
Symbolic Evaluation and the Analysis of Programs (English)
0 references
1979
0 references
Automatic program analysis
0 references
expression simplification
0 references
first-order recurrence relations
0 references
program optimization
0 references
program verification
0 references
symbolic evaluation
0 references
