基本信息

---

下载

文档摘要

---

程序分析技术;一、处理的语言;e1;二、基本方法;定义：变量与表达式的关系

若变量v在G(S)入口处值，直接或间接参与了表达式e的计算，则说v和e具有关系，记为v?Se或者(v,e)??S。

定义：表达式与变量的关系

若表达式e直接或间接参加变量v在G(S)出口处值的计算，则称e和v具有关系?，记为e?Sv或者(e,v)??S。;定义：变量与变量的关系

?S=?S?S?{(v,v)|v?PS}

解释，v1?Sv2，v在G(S)的入口值参与v2在G(S2)出口值的计算。

v1?Sv2，v1在G(S)的入口值可？G(S)的出口;3.计算方法

空语句S： skip