| 逻辑程序的自动模式推导 |
| |
| 引用本文： | 童梅,刘椿年.逻辑程序的自动模式推导[J].计算机研究与发展,1996,33(2):81-92. |
| |
| 作者姓名： | 童梅 刘椿年 |
| |
| 作者单位： | 北京工业大学计算机科学与工程系 |
| |
| 基金项目： | 国家自然科学基金,国家“863”高技术项目 |
| |
| 摘 要： | 本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法，并就其中的别名处理问题和定点计算问题进行了详细的讨论提出了一种正确，有铲的别名自理方法以及基于”护展表“的定点求解算法。该方案已用Ｐｒｏｌｏｇ语言实现。
|
| 关 键 词： | 抽象解释 模式推导 逻辑程序 Prolog语言 |
AUTOMATIC MODE INFERENCE FOR LOGIC PROGRAMS |
| |
| Tong Mei and Liu Chunnian.AUTOMATIC MODE INFERENCE FOR LOGIC PROGRAMS[J].Journal of Computer Research and Development,1996,33(2):81-92. |
| |
| Authors: | Tong Mei and Liu Chunnian |
| |
| Abstract: | This paper presents the scheme of mode inference within the theoreticalframe of abstract interpretation for logic programs. In particular, it discusses the treatment of variable-aliasing and the computation of fixpoints in considerable detail, andputs forward a sound and efficient way to process variable-aliasing and an algorithm tocompute fixpoints based on "extension table" technique. This scheme has been implemented in Prolog. |
| |
| Keywords: | Logic programming abstract interpretation mode inference |
| 本文献已被 CNKI 维普 等数据库收录！ |
