Summary-based context-sensitive data-dependence analysis in presence of callbacks (Q2819792)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks |
scientific article; zbMATH DE number 6631292
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Summary-based context-sensitive data-dependence analysis in presence of callbacks |
scientific article; zbMATH DE number 6631292 |
Statements
29 September 2016
0 references
CFL reachability
0 references
context-sensitive analysis
0 references
summary-based analysis
0 references
TAL reachability
0 references
tree-adjoining languages
0 references
0.85095984
0 references
0.8155837
0 references
0.8090745
0 references
0 references
0.8088825
0 references
Summary-based context-sensitive data-dependence analysis in presence of callbacks (English)
0 references