Promela切片的信道依赖性分析

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI:10.1109/PDSE.1999.779738

Lynette I. Millett, T. Teitelbaum

{"title":"Promela切片的信道依赖性分析","authors":"Lynette I. Millett, T. Teitelbaum","doi":"10.1109/PDSE.1999.779738","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Channel dependence analysis for slicing Promela\",\"authors\":\"Lynette I. Millett, T. Teitelbaum\",\"doi\":\"10.1109/PDSE.1999.779738\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":373753,\"journal\":{\"name\":\"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems\",\"volume\":\"44 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-05-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PDSE.1999.779738\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PDSE.1999.779738","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

准确的信道分析和通信依赖信息是源代码分析工具在并发规范和编程语言领域发挥作用的必要条件。我们提出通道分析及其应用，并描述其对并发语言编写的程序的开发和理解的含义。我们描述了如何计算并发程序中的通信依赖关系，然后将其与控制和流依赖关系结合使用，以构建允许有效程序切片的表示。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Channel dependence analysis for slicing Promela

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems

自引率

0.00%

发文量