Skip to content
scrambled
Programming Language Theory Concept

Flow-sensitive typing

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

Synonym for Flow typing - the type checker is \"sensitive\" to control flow, tracking how conditionals, assignments, and predicates refine types at different program points.

Synonym for Flow typing - the type checker is "sensitive" to control flow, tracking how conditionals, assignments, and predicates refine types at different program points.