首页> 外文会议>International conference on Software engineering >Data flow analysis for checking properties of concurrent Java programs

【24h】

Data flow analysis for checking properties of concurrent Java programs

机译：数据流分析，用于检查并发Java程序的属性

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《International conference on Software engineering》|1999年|P.399-410|共12页
会议地点
作者
Gleb Naumovich; George S. Avrunin; Lori A. Clarke;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算机软件;
关键词
static analysis;

机译：静态分析;

相似文献

外文文献
中文文献
专利

1. 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程序中的异常检测
2. 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检测对并发程序进行数据流分析
3. Refinement of structural heuristics for model checking of concurrent programs through data mining [J] . Milewicz Reed, Pirkelbauer Peter Computer Languages, Systems & Structures . 2017,第pta2期

机译：细化结构启发式方法，以通过数据挖掘对并发程序进行模型检查
4. Data flow analysis for checking properties of concurrent Java programs [C] . Naumovich, G., Avrunin, . 1999

机译：数据流分析，用于检查并发Java程序的属性
5. Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysis. [D] . Milewicz, Reed Morgan. 2016

机译：通过混合和分布式分析提高并发Java代码的定向模型检查的可伸缩性。
6. Investigating Mechanisms of Response or Resistance to Immune Checkpoint Inhibitors by Analyzing Cell-Cell Communications in Tumors Before and After Programmed Cell Death-1 (PD-1) Targeted Therapy: An Integrative Analysis Using Single-cell RNA and Bulk-RNA Sequencing Data [O] . Yi-Quan Jiang, Zi-Xian Wang, Ming Zhong, 2021

机译：通过分析细胞死亡-1（PD-1）靶向治疗前后分析肿瘤细胞 - 细胞通信的响应或抗免疫检查点抑制剂的机制：使用单细胞RNA和Buk-RNA测序数据的一致性分析
7. Data flow analysis for checking properties of concurrent Java programs [O] . Gleb Naumovich, George S. Avrunin, Lori A. Clarke 1998

机译：数据流分析，用于检查并发Java程序的属性

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号