Context-sensitive data-dependence analysis via linear conjunctive language reachability (Q5370873)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6794663
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7543882727622986
0 references
0.7341883778572083
0 references
0.7073451280593872
0 references
0.6999428272247314
0 references
