↓ Skip to main content

Tools and Methods of Program Analysis

Overview of attention for book
Cover of 'Tools and Methods of Program Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer
  3. Altmetric Badge
    Chapter 2 Predicate Abstraction Based Configurable Method for Data Race Detection in Linux Kernel
  4. Altmetric Badge
    Chapter 3 Extended Context-Free Grammars Parsing with Generalized LL
  5. Altmetric Badge
    Chapter 4 Defect Report Classification in Accordance with Areas of Testing
  6. Altmetric Badge
    Chapter 5 Technology and Tools for Developing Industrial Software Test Suites Based on Formal Models and Implementing Scalable Testing Process on Supercomputer
  7. Altmetric Badge
    Chapter 6 Dl-Check: Dynamic Potential Deadlock Detection Tool for Java Programs
  8. Altmetric Badge
    Chapter 7 A Survey on Model-Based Testing Tools for Test Case Generation
  9. Altmetric Badge
    Chapter 8 Functional Parser of Markdown Language Based on Monad Combining and Monoidal Source Stream Representation
  10. Altmetric Badge
    Chapter 9 Simple Type-Based Alias Analysis for a VLIW Processor
  11. Altmetric Badge
    Chapter 10 5W+1H Static Analysis Report Quality Measure
  12. Altmetric Badge
    Chapter 11 Layered Layouts for Software Systems Visualization Using Nested Petri Nets
  13. Altmetric Badge
    Chapter 12 Unity Application Testing Automation with Appium and Image Recognition
  14. Altmetric Badge
    Chapter 13 Compositional Process Model Synthesis Based on Interface Patterns
  15. Altmetric Badge
    Chapter 14 Using Functional Directives to Analyze Code Complexity
  16. Altmetric Badge
    Chapter 15 Generating Cost-Aware Covering Arrays for Free
  17. Altmetric Badge
    Chapter 16 Statically Checking Conventionality of Array Objects in JavaScript
  18. Altmetric Badge
    Chapter 17 A Survey of High-Performance Computing for Software Verification
Attention for Chapter 9: Simple Type-Based Alias Analysis for a VLIW Processor
Altmetric Badge

Mentioned by

twitter
1 tweeter
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Simple Type-Based Alias Analysis for a VLIW Processor
Chapter number 9
Book title
Tools and Methods of Program Analysis
Published by
Springer, Cham, March 2017
DOI 10.1007/978-3-319-71734-0_9
Book ISBNs
978-3-31-971733-3, 978-3-31-971734-0
Authors

Aleksey Markin, Alexandr Ermolitsky

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.