Granularity of Constraint-based Analysis for Java

机译：Java的基于约束的分析粒度

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper proposes a transformation-based approach to design constraint-baaed analyses for Java at a coarser granularity. In this approach, we design a less or equally precise but more efficient version of an original analysis by transforming the original construction rules into new ones. As applications of this rule transformation, we provide two instances of analysis design by rule-transformation. The first one designs a sparse version of class analysis for Java and the second one deals with a sparse exception analysis for Java. Both are designed based on method-level, and the sparse exception analysis is shown to give the same information for every method as the original analysis.

机译：本文提出了一种基于转换的方法，以更粗粒度设计Java的约束约束分析。通过这种方法，我们通过将原始构造规则转换为新的构造规则，从而设计了一个精度较低或等效的但效率更高的版本。作为此规则转换的应用程序，我们通过规则转换提供了两个分析设计实例。第一个设计用于Java的稀疏版本的类分析，第二个设计用于Java的稀疏异常分析。两者都是基于方法级别设计的，并且稀疏异常分析显示出每种方法都可以提供与原始分析相同的信息。

著录项

来源
《3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'01), Sep 5-7, 2001, Florence, Italy》|2001年|p.94-102|共9页
会议地点 Florence(IT);Florence(IT)
作者
Byeong-Mo Chang; Jangwu Jo;
展开▼
作者单位

Department of Computer Science Sookmyung Women's University Yongsan-ku, Seoul 140-742, Korea;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词
constraint-based analysis; set constraints; construction rules; partition function;

机译：基于约束的分析；设定约束；施工规则；分区功能;

相似文献

外文文献
中文文献
专利

1. Analysis and Optimization of Task Granularity on the Java Virtual Machine [J] . Rosa Andrea, Rosales Eduardo, Binder Walter 情報処理学会論文誌 . 2019,第3期

机译：Java虚拟机上任务粒度的分析和优化
2. Constraint-Based Approach to Granular Dispersion Rheology [J] . Guy B. M., Richards J. A., Hodgson D. J. M., Physical review letters . 2018,第12期

机译：基于约束的颗粒分散流变学方法
3. Managing the granularity of constraint-based analyses by rule tansformation [J] . Byeong-Mo Chang Information Processing Letters . 2002,第2期

机译：通过规则转换管理基于约束的分析的粒度
4. Granularity of constraint-based analysis for Java [C] . Byeong-Mo Chang, Jangwu Jo ACM SIGPLAN international conference on Principles and practice of declarative programming . 2001

机译：Java基于约束的分析的粒度
5. Dynamic Taint Analysis in JavaScript for JavaScript [D] . Wong, Wai Tuck. 2020

机译：JavaScript中的动态Taint分析
6. Herbicide Diuron as Endocrine Disrupting Chemicals (EDCs) through Histopathalogical Analysis in Gonads of Javanese Medaka (Oryzias javanicus Bleeker 1854) [O] . Nur Amiera Kamarudin, Syaizwan Zahmir Zulkifli, Mohammad Noor Amal Azmai, 2020

机译：通过组织病理学分析在爪哇Medaka的性腺中使用除草剂Diuron作为内分泌干扰化学物质（EDC）（Oryzias javanicusBleeker 1854）
7. Granularity of Constraint-based Analysis for Java [O] . Byeong-mo Chang, Jangwu Jo 2001

机译：基于约束的Java分析的粒度
8. Multiscale Phenomena in the Solid-Liquid Transition State of a Granular Material: Analysis and Modelling of Dense Granular Materials. [R] . A. Tordesillas 2011

机译：颗粒材料固 - 液过渡态的多尺度现象：致密颗粒材料的分析与建模。

Granularity of Constraint-based Analysis for Java

摘要

著录项

相似文献

相关主题

期刊订阅