期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

面向Java操作的可交换性检测技术 被引量：1

A Test Technique of Commutativity for Java Program
下载PDF
导出
摘要 提出一种判断 Java程序中的操作是否可交换执行的检测技术 ,给出可交换性操作的基本概念 ,并用函数式语言对检测算法进行描述 . 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.
作者 刘磊 刘英 张晓东
机构地区 吉林大学计算机科学系 大连大学电子科学系 大连大学电子科学系
出处 《吉林大学自然科学学报》 CAS CSCD 2000年第1期37-42,共6页 Acta Scientiarum Naturalium Universitatis Jilinensis
基金 吉林省科委基金资助
关键词 操作 可交换性 JAVA语言 自动并行化 程序 检测 commutativity of operations Java language automatic parallelism symbolic execution
分类号 TP311.1 [自动化与计算机技术—计算机软件与理论] TP312Ja [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献8

  • 1[1] The Java Language Specification [J/OL]. Sun Microsystems, Inc. http://java.sun.com: 80/doc/language-specification/. 1996-02.
  • 2[2] The Java Language: A White Paper [J/OL]. Sun Microsystems, Inc. http://java.sun.com: 80/doc/overviews/java/. 1996-02.
  • 3[3] Diwan A, Mckinley K S, Eliot B J, et al. Type-Based Alias Analysis [J]. ACM Sigplan Notices, 1998, 33(5): 106～117.
  • 4[4] King J. Symbolic Execution and Program Testing [J]. Commun ACM, 1976, 19(7): 385～394.
  • 5[5] King J. Program Reduction Using Symbolic Execution. ACM Sigplan Not, 1981, 6(1): 9～14.
  • 6[6] Clarke L, Rickardson D. Symbolic Evaluation Methods for Program Analysis [C]. In: Muchnick S, Jones N, eds. Program Flow Analysis: Theory and Applications. Englewood Cliffs, N J: Prentice Hall, 1981. 79～101.
  • 7[7] Martin C R, Pedro C D. Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers [J]. ACM, Transactions on Programming Languages and Systems, 1997, 19(6): 943～991.
  • 8[8] Rinard M, Diniz P. Semantic Foundations of Commutativity Analysis [C]. Processings of the Second European Conference on Parallel Processing(EuroPar'96). Lyon, France: 1996. 414～423.

同被引文献6

引证文献1

二级引证文献4

吉林大学自然科学学报
2000年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部