| 面向Java操作的可交换性检测技术 |
| |
| 引用本文： | 刘磊,刘英,张晓东.面向Java操作的可交换性检测技术[J].吉林大学学报(理学版),2000(1):37-54. |
| |
| 作者姓名： | 刘磊 刘英 张晓东 |
| |
| 作者单位： | 1. 吉林大学计算机科学系,长春,130023
2. 大连大学电子科学系,大连,116622 |
| |
| 摘 要： | 提出一种判断 Java程序中的操作是否可交换执行的检测技术 ,给出可交换性操作的基本概念 ,并用函数式语言对检测算法进行描述 .
|
| 关 键 词： | 操作的可交换性 Java语言 自动并行化 符号执行 |
| 修稿时间： | : |
A Test Technique of Commutativity for Java Program |
| |
| LIU Lei,LIU Ying,ZHANG Xiao-dong.A Test Technique of Commutativity for Java Program[J].Journal of Jilin University: Sci Ed,2000(1):37-54. |
| |
| Authors: | LIU Lei LIU Ying ZHANG Xiao-dong |
| |
| Abstract: | The present paper presents the technology how to judge whether some operations are commutative or not. First, the definition of the commutativity of operations is given. Then the test algorithm is described with functional language in detail. |
| |
| Keywords: | commutativity of operations Java language automatic parallelism symbolic execution |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
