从一个表达式出发,我们定义了它的抽象赋值路径(Abstract Evaluation Path, AEP),抽象赋值路径被用来对抽象形态图(Abstract Shape Graph, ASG)进行精化,从而...
基于4个网页-相关网页
抽象赋值路径
Abstract assignment path
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动