Inequational Deduction as Term Graph Rewriting

被引：0

作者：

Corradini, Andrea ^{[1
]}

Gadducci, Fabio ^{[1
]}

Kahl, Wolfram ^{[2
]}

König, Barbara ^{[3
]}

机构：

[1] Dipartimento di Informatica, Università di Pisa, Italy

[2] Department of Computing and Software, McMaster University, Canada

[3] Institut für Informatik, Technische Universität München, Germany

来源：

Electronic Notes in Theoretical Computer Science | 2007年 / 72卷 / 1 SPEC. ISS.期

关键词：

11;

D O I：

10.1016/j.entcs.2002.09.004

中图分类号：

学科分类号：

摘要：

引用

页码：31 / 44

共 50 条

[31] Term graph rewriting and mobile expressions in functional languages
Plasmeijer, R
van Eekelen, M
APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS, 2000, 1779 : 1 - 13
[32] Safety of strictness analysis via term graph rewriting
Clark, D
Hankin, C
Hunt, S
STATIC ANALYSIS, 2000, 1824 : 95 - 114
[33] TERM GRAPH REWRITING AND GARBAGE COLLECTION USING OPFIBRATIONS
BANACH, R
THEORETICAL COMPUTER SCIENCE, 1994, 131 (01) : 29 - 94
[34] GRAPH-REDUCIBLE TERM REWRITING-SYSTEMS
PLUMP, D
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 532 : 622 - 636
[35] A uniform framework for term and graph rewriting applied to combined systems
Ohlebusch, E
INFORMATION PROCESSING LETTERS, 2000, 73 (1-2) : 53 - 59
[36] Modeling Pointer Redirection as Cyclic Term-graph Rewriting
Duval, Dominique
Echahed, Rachid
Prost, Frederic
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 176 (01) : 65 - 84
[37] Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus
Grathwohl, Niels Bjorn Bugge
Ketema, Jeroen
Pallesen, Jens Duelund
Simonsen, Jakob Grue
22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 61 - 70
[38] Term-graph Rewriting in Tom Using Relative Positions
Balland, Emilie
Brauner, Paul
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (01) : 3 - 17
[39] IMPLEMENTING TERM REWRITING BY GRAPH REDUCTION - TERMINATION OF COMBINED SYSTEMS
PLUMP, D
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 307 - 317
[40] CONDITIONAL REWRITING LOGIC - DEDUCTION, MODELS AND CONCURRENCY
MESEGUER, J
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 64 - 91

← 1 2 3 4 5 →