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