Research on Undetermined Value of First Use Based on Lattice Framework

2010 2nd International Symposium on Information Engineering and Electronic Commerce Pub Date : 2010-07-23 DOI:10.1109/IEEC.2010.5533293

Shan Lin, Han Wang, Yanzhong Hu

引用次数: 0

Abstract

This paper reports on the theoretical principle and many applications of data-flow analysis. However, current developments of data flow analysis are primarily undertaken by individual problem and lead to a plethora of specific solutions. We formulate a general framework with lattice theory, which provides a single formal model for various data-flow analyses. It helps us focus on the specific details of different data flow problems. Furthermore, we take a common data flow problem detecting variables' undetermined value of first use as an instance and give a structured approach to solve these problems based on lattice framework for data-flow analysis.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

基于点阵框架的首次使用未确定值研究

本文介绍了数据流分析的理论原理和许多应用。然而，目前数据流分析的发展主要是针对个别问题进行的，并导致过多的具体解决方案。我们用格理论制定了一个通用框架，它为各种数据流分析提供了一个单一的形式化模型。它帮助我们关注不同数据流问题的具体细节。在此基础上，以数据流中常见的变量首次使用未定值检测问题为例，给出了一种基于数据流分析格框架的结构化解决方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

2010 2nd International Symposium on Information Engineering and Electronic Commerce

自引率

0.00%

发文量

期刊最新文献

Multiple UAVs Routes Planning Based on Particle Swarm Optimization Algorithm Toward 3-Constant Size Identity Based Broadcast Encryption Based on Proxy Re-Encryption Design of Thermal Economy On-Line Analysis System of Nuclear Power Unit Evolution and Representation on Data Information Knowledge Strategy Replica Placement Algorithms in Content Distribution Networks