Channel dependence analysis for slicing promela

作     者：Millett, Lynette I. Teitelbaum, Tim 

作者机构：Cornell Univ Ithaca United States 

出 版 物：《International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings》 (Int Workshop Software Eng Parall Distrib Syst Proc)

年 卷 期：1999年

页      面：52-61页

核心收录：

主　　题：Computer software selection and evaluation 

摘      要：Accurate channel analysis and communication dependence information is necessary for source code analysis tools to be useful in the concurrent specification and programming language domain. We present channel analysis along with an application thereof and describe its implications for the development and understanding of programs written in concurrent languages. We describe how communication dependences within a concurrent program can be computed and then used in combination with control and flow dependences to construct a representation that allows for efficient program slicing.