The rewriting calculus as a semantics of ELAN

被引：0

作者：

Cirstea, H ^{[1
]}

Kirchner, C ^{[1
]}

机构：

[1] INRIA, LORIA, F-54600 Villers Les Nancy, France

来源：

ADVANCES IN COMPUTING SCIENCE-ASIAN' 98 | 1998年 / 1538卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：84 / 85

页数：2

共 50 条

[1] Logical Semantics for the Rewriting Calculus
Stump, Aaron
Schuermann, Carsten
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 125 (02) : 149 - 164
[2] ELAN from a rewriting logic point of view
Borovansky, P
Kirchner, C
Kirchner, H
Moreau, PE
[J]. THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) : 155 - 185
[3] Exceptions in the rewriting calculus
Faure, G
Kirchner, C
[J]. REWRITING TECHNIQUES AND APPLICATIONS, 2002, 2378 : 66 - 82
[4] Graph rewriting for the π-calculus
Gadducci, Fabio
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2007, 17 (03) : 407 - 437
[5] Term Rewriting and Lambda Calculus
Klop, Jan Willem
[J]. 2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 12 - 12
[6] Term graph rewriting for the π-calculus
Gadducci, F
[J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 37 - 54
[7] Localized fairness: A rewriting semantics
Meseguer, J
[J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 250 - 263
[8] Modular Rewriting Semantics in Practice
Braga, Christiano
Meseguer, Jose
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 117 : 393 - 416
[9] A Rewriting Semantics for Maude Strategies
Marti-Oliet, Narciso
Meseguer, Jose
Verdejo, Alberto
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (03) : 227 - 247
[10] Termination of rewriting in the Calculus of Constructions
Walukiewicz-Chrzaszcz, D
[J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2003, 13 : 339 - 414