Skip to content
scrambled
Programming Language Theory Concept

Flow analysis

Books JourneyProgramming Language Theory Statuslearning Tags
  • language feature design
  • program analysis
  • runtime
  • semantics
  • type theory

A static analysis technique that tracks how information propagates through a program's control flow - determining what facts hold at each program point based on paths taken.

A Static analysis technique that tracks how information propagates through a program's control flow - determining what facts hold at each program point based on paths taken.