理学 编译系统 释 data flow analysis; DFA 数据流分析 数据流分析（Data Flow Analysis, DFA）是确定数据如何沿着程序执行路径变化的程序分析方法。数据流分析通过遍历控制流图，收集程序在运行时数据可能发生的变化，从而揭示一个过程或程序是如何处理数据的。数据流分析所获得的信息是编译器实现代码优化的重要基础。
系统软件 语言与编译 释文 dataflow analysis 数据流分析
- weak collision
- weak* compact
- weak compactness
- weak completeness
- weak completeness theorem
- weak composition
- weak condition
- weak cone condition
- weak conjugate space
- weak conjunction
- weak conservation form
- weak consistency model
- weak constraint
- weak continuity
- weak convergence
- weak* convergence
- weak*-convergence
- weak convergence of distribution functions
- weak coproduct
- weak correlation
- weak countable basis
- weak countable distributivity
- weak coupling
- weak coupling superconductor
- weak-coupling superconductor