scrambled
scrambled
Concept

Flow analysis

Modified just now
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.