Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars (Q5389081)
From MaRDI portal
scientific article; zbMATH DE number 6027838
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars |
scientific article; zbMATH DE number 6027838 |
Statements
24 April 2012
0 references
flow analysis
0 references
reachability
0 references
collecting semantics
0 references
higher-order program
0 references
term rewriting
0 references
indexed linear tree grammar
0 references
Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars (English)
0 references
