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 条
[1]  
ALBARRAN A, 2001, P 2 ARG S SOFTW ENG
[2]  
ALBARRAN A, 2001, P 6 ECOOP INT WORKSH
[3]  
ALBARRAN A, 2001, P 6 JORN ING SOFTW B
[4]  
[Anonymous], ELECT NOTES THEORETI, DOI [DOI 10.1016/S1571-0661(04)00034-9, 10.1016/S1571-0661(04)00034-9]
[5]  
[Anonymous], CAFE IND STRENGTH AL
[6]  
[Anonymous], P WORKSH FORM METH S
[7]  
[Anonymous], 2000, ELECTRON NOTES THEOR
[8]  
[Anonymous], ELECT NOTES THEORETI
[9]  
[Anonymous], LOG J IGPL
[10]  
Aoumeur N., 1999, OBJ CAFEOBJ MAUDE WO, P95
12345678910