Principles of staged static+dynamic partial analysis (Q6164422)
From MaRDI portal
scientific article; zbMATH DE number 7719726
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Principles of staged static+dynamic partial analysis |
scientific article; zbMATH DE number 7719726 |
Statements
Principles of staged static+dynamic partial analysis (English)
0 references
28 July 2023
0 references
staged analysis
0 references
partial evaluation
0 references
partial analysis
0 references
