首页> 外文OA文献 >Data Flow Analysis for Verifying Properties of Concurrent Programs

【2h】

Data Flow Analysis for Verifying Properties of Concurrent Programs

机译：验证并发程序属性的数据流分析

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Matthew Dwyer; Lori A. Clarke;
展开▼
作者单位

展开▼
年度 1994
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Dataflow analysis for concurrent programs using datarace detection [J] . Chugh R, Voung JW, Jhala R, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2008,第6期

机译：使用Datarace检测对并发程序进行数据流分析
2. Anomaly detection in concurrent Java programs using dynamic data flow analysis [J] . Kassem Saleh, Abdel Aziz Boujarwah, Jehad Al-Dallal Information and software technology . 2001,第15期

机译：使用动态数据流分析的并发Java程序中的异常检测
3. Efficient Composite Data Flow Analysis Applied to Concurrent Programs [J] . Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 1998,第7期

机译：适用于并发程序的有效复合数据流分析
4. Data flow analysis for verifying properties of concurrent programs [C] . Matthew B. Dwyer, Lori A. Clarke ACM SIGSOFT symposium on Foundations of software engineering . 1994

机译：数据流分析，用于验证并发程序的属性
5. Dataflow analysis for concurrent programs using data-race detection. [D] . Voung, Jan Wen. 2010

机译：使用数据争用检测对并发程序进行数据流分析。
6. Dataflow programming for the analysis of molecular dynamics with AViS an analysis and visualization software application [O] . Kai Pua, Daisuke Yuhara, Sho Ayuba, 2020

机译：DataFlow编程用于分析AVIS分析和可视化软件应用程序
7. Formal Verification of Temporal Properties for Parametrized Concurrent Programs and Concurrent Data Structures [O] . Sánchez Alejandro 2015

机译：参数化并发程序和并发数据结构的时间属性的形式验证

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号