scrambled
scrambled
Concept

Flow sensitive typing

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