面向对象程序中方法间分析模型

摘要

为了开发串行面向对象程序中对象间的并行性，需要进行方法间的分析，西方给出了类成员变量的表示，概要信息的计算，多态的处理，并在此基础之上进行了同一执行环境下对象方法的依赖关系分析。