Rewriting logic:: roadmap and bibliography

被引：102
作者：
Martí-Oliet, N
Meseguer, J
机构：
[1] Univ Complutense, Fac Matemat, E-28040 Madrid, Spain
[2] SRI Int, Comp Sci Lab, Menlo Pk, CA 94025 USA
来源：
THEORETICAL COMPUTER SCIENCE | 2002年 / 285卷 / 02期
基金：
美国国家科学基金会;
关键词：
D O I：
10.1016/S0304-3975(01)00357-7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The roadmap and bibliography for rewriting logic was presented. The bibliography provided included more than hundred papers related to rewriting logic. The project achieved a distributable version of the CafeOBJ language. The work on semantics, a collection of specification libraries and case studies, an environment and a collection of specification supporting different forms of verification were also discussed.
引用
收藏
页码：121 / 154
页数：34
相关论文
共 329 条
[91]  
Denker G., 1994, Recent Trends in Data Type Specification. 9th Workshop on Specification of Abstract Data Types. Joint with the 4th COMPASS Workshop. Selected Papers, P173
[92]  
Denker G., 1999, P WORKSH FORM METH S
[93]  
Denker G., 1999, SRICSL9902
[94]  
DENKER G, 1998, ELECT NOTES THEORETI, V15, P273
[95]  
Denker G., 2000, P DARPA INF SURV C E, P251
[96]  
DENKER G, 1999, SPECIFYING RELIABLE
[97]  
DENKER G, 2000, ELECT NOTES THEORETI, V36, P407
[98]  
Denker G, 2000, P DARPA INF SURV C E, V1, P207
[99]  
Denker G., 1999, P 37 ALL C COMM CONT, P738
[100]  
Denker G., 2000, SRICSL200002
567891011121314