Static analysis of logic programs to detect run-time garbage cells

CompEuro 1992 Proceedings Computer Systems and Software Engineering Pub Date : 1992-05-04 DOI:10.1109/CMPEUR.1992.218428

A. Mulkers, W. Winsborough, M. Bruynooghe

引用次数: 1

Abstract

The authors extend prior work in liveness analysis for logic programs. They develop an analysis for logic programs that allows compiler optimizations to reuse safely space allocated to data structures. The analysis is based on abstract interpretation and its main contribution consists of extending an abstract domain and operations for type and sharing analysis such that when applied to an abstract interpretation framework, the domain induces a powerful liveness analysis. Preliminary results obtained by an experimental prototype confirmed that useful and detailed information about the lifetime of term substructures can be derived.<>

查看原文

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

本刊更多论文

静态分析逻辑程序，检测运行时垃圾单元

作者在逻辑程序的活性分析方面扩展了前人的工作。他们为逻辑程序开发了一种分析方法，允许编译器优化重用分配给数据结构的安全空间。该分析是基于抽象解释的，它的主要贡献包括扩展抽象领域以及类型和共享分析的操作，这样当应用于抽象解释框架时，该领域就会产生强大的活动分析。通过实验样机获得的初步结果证实，可以得到有关项子结构寿命的有用和详细的信息

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

求助全文

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

来源期刊

CompEuro 1992 Proceedings Computer Systems and Software Engineering

自引率

0.00%

发文量

期刊最新文献

Neural clustering algorithms for classification and pre-placement of VLSI cells General-to-specific learning of Horn clauses from positive examples Minimization of NAND circuits by rewriting-rules heuristic A generalized stochastic Petri net model of Multibus II Activation of connections to accelerate the learning in recurrent back-propagation