STATIC ANALYSIS OF TERM GRAPH REWRITING-SYSTEMS

被引：0

作者：

HANKIN, C

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 506卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this paper we present a framework for the abstract interpretation of term graph rewriting systems. The framework is based on the approach taken by the Cousots for flowchart programs. We give an example of the use of the framework by presenting an interpretation which performs a form of type inference.

引用

页码：367 / 384

页数：18

共 50 条

[1] DATAFLOW ANALYSIS OF TERM GRAPH REWRITING-SYSTEMS
BANACH, R
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 366 : 55 - 72
[2] GRAPH-REDUCIBLE TERM REWRITING-SYSTEMS
PLUMP, D
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 532 : 622 - 636
[3] GRAPH REWRITING-SYSTEMS WITH PRIORITIES
BILLAUD, M
LAFON, P
METIVIER, Y
SOPENA, E
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 411 : 94 - 106
[4] COMPUTING WITH GRAPH REWRITING-SYSTEMS WITH PRIORITIES
LITOVSKY, I
METIVIER, Y
THEORETICAL COMPUTER SCIENCE, 1993, 115 (02) : 191 - 224
[5] TERM REWRITING-SYSTEMS AND ALGEBRA
LESCANNE, P
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 166 - 174
[6] TERM REWRITING-SYSTEMS WITH PRIORITIES
BAETEN, JCM
BERGSTRA, JA
KLOP, JW
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 83 - 94
[7] IMPLEMENTATIONS OF TERM REWRITING-SYSTEMS
HERMANN, M
KIRCHNER, C
KIRCHNER, H
COMPUTER JOURNAL, 1991, 34 (01): : 20 - 33
[8] EXTENDED TERM REWRITING-SYSTEMS
KLOP, JW
DEVRIJER, R
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 26 - 50
[9] FAIRNESS IN TERM REWRITING-SYSTEMS
PORAT, S
FRANCEZ, N
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 287 - 300
[10] GRAPH REWRITING-SYSTEMS AND THEIR APPLICATION TO NETWORK RELIABILITY-ANALYSIS
OKADA, Y
HAYASHI, M
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1993, E76D (02) : 154 - 162

← 1 2 3 4 5 →