Context-sensitive data-dependence analysis via linear conjunctive language reachability (Q5370873)
From MaRDI portal
scientific article; zbMATH DE number 6794663
Language | Label | Description | Also known as |
---|---|---|---|
English | Context-sensitive data-dependence analysis via linear conjunctive language reachability |
scientific article; zbMATH DE number 6794663 |
Statements
Context-sensitive data-dependence analysis via linear conjunctive language reachability (English)
0 references
20 October 2017
0 references
context-free language reachability
0 references
linear conjunctive grammar
0 references
program analysis
0 references
trellis automata
0 references