Summary-based context-sensitive data-dependence analysis in presence of callbacks (Q2819792)

From MaRDI portal





scientific article; zbMATH DE number 6631292
Language Label Description Also known as
default for all languages
No label defined
    English
    Summary-based context-sensitive data-dependence analysis in presence of callbacks
    scientific article; zbMATH DE number 6631292

      Statements

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      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
      Summary-based context-sensitive data-dependence analysis in presence of callbacks (English)
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references