↓ Skip to main content

Static Analysis

Overview of attention for book
Cover of 'Static Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 25 The impact of granularity in abstract interpretation of Prolog
  3. Altmetric Badge
    Chapter 26 Optimization techniques for general purpose fixpoint algorithms practical efficiency for the abstract interpretation of Prolog
  4. Altmetric Badge
    Chapter 27 Chaotic fixpoint iteration guided by dynamic dependency
  5. Altmetric Badge
    Chapter 28 Fast abstract interpretation using sequential algorithms
  6. Altmetric Badge
    Chapter 29 Abstract interpretation and verification of reactive systems
  7. Altmetric Badge
    Chapter 30 Semantics and analysis of linda-based languages
  8. Altmetric Badge
    Chapter 31 Compiling FX on the CM-2
  9. Altmetric Badge
    Chapter 32 Combining dependability with architectural adaptability by means of the signal language
  10. Altmetric Badge
    Chapter 33 Challenges in developing useful and practical static analysis for logic programs
  11. Altmetric Badge
    Chapter 34 Occam's razor in metacomputation: the notion of a perfect process tree
  12. Altmetric Badge
    Chapter 35 Tupling functions with multiple recursion parameters
  13. Altmetric Badge
    Chapter 36 Avoiding repeated tests in pattern matching
  14. Altmetric Badge
    Chapter 37 Freeness, sharing, linearity and correctness — All at once
  15. Altmetric Badge
    Chapter 38 Synthesis of directionality information for functional logic programs
  16. Altmetric Badge
    Chapter 39 Abstract rewriting
  17. Altmetric Badge
    Chapter 40 Reflections on program optimization
  18. Altmetric Badge
    Chapter 41 Finiteness conditions for strictness analysis
  19. Altmetric Badge
    Chapter 42 Strictness properties of lazy algebraic datatypes
  20. Altmetric Badge
    Chapter 43 Minimal thunkification
  21. Altmetric Badge
    Chapter 44 An efficient abductive reasoning system based on program analysis
  22. Altmetric Badge
    Chapter 45 A congruence for gamma programs
  23. Altmetric Badge
    Chapter 46 Usage analysis with natural reduction types
  24. Altmetric Badge
    Chapter 47 Polymorphic types and widening operators
  25. Altmetric Badge
    Chapter 48 Demonstration: static analysis of AKL
Attention for Chapter 39: Abstract rewriting
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
5 Mendeley