编号 | 类型 | 领域 | 问题 | 问题的数学分析及数值分析 | 参数列表及参数的边界范围及条件及常数 | 关联知识 |
|---|---|---|---|---|---|---|
579 | 形式化验证 | 编译器验证 | 全局死代码消除（Global Dead Code Elimination）的形式化 | 逐步推理：①全局死代码消除删除对整个程序无贡献的代码（如未被调用的函数、未被使用的全局变量）。②形式化基础：构建调用图和全局数据流，标记所有可达和有用的代码。③数学：从入口函数开始，标记所有可达函数和全局变量。未标记的函数和变量可删除。④正确性：删除死代码不改变程序的可观测行为（假设无反射等动态特性）。⑤全局死代码消除是链接时优化的重要部分。 | 函数数F；全局变量G；可达性分析复杂度O(F+G)。 | 全局DCE、调用图、可达性 |
580 | 形式化验证 | 编译器验证 |
)
