TRSPEC - A TERM REWRITING BASED SYSTEM FOR ALGEBRAIC SPECIFICATIONS

被引：0
|
作者：
AVENHAUS, J
BENNINGHOFEN, B
GOBEL, R
MADLENER, K
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 230卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：665 / 667
页数：3
相关论文
共 50 条
  • [21] Attenuation regulation as a term rewriting system
    Asarin, Eugene
    Cachat, Thierry
    Seliverstov, Alexander
    Touili, Tayssir
    Lyubetsky, Vassily
    ALGEBRAIC BIOLOGY, PROCEEDINGS, 2007, 4545 : 81 - +
  • [22] THE LEFTMOST DERIVATIONS OF A REWRITING SYSTEM FORM A FREE ALGEBRAIC STRUCTURE
    CAZANESCU, VE
    REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES, 1986, 31 (01): : 1 - 8
  • [23] Algebraic imperative specifications
    Gaudel, MC
    Zamulin, A
    PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 17 - 39
  • [24] MODULAR ALGEBRAIC SPECIFICATIONS
    HANSEN, H
    LOWE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 168 - 179
  • [25] Slicing algebraic specifications
    Woodward, MR
    Allen, SP
    INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (02) : 105 - 118
  • [26] COMPLEXITY OF ALGEBRAIC SPECIFICATIONS
    SUBRAHMANYAM, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 472 : 33 - 47
  • [27] NOTES ON ALGEBRAIC SPECIFICATIONS
    BRADLEY, IM
    INFORMATION AND SOFTWARE TECHNOLOGY, 1989, 31 (07) : 357 - 365
  • [28] Automated Testing of Web Services Based on Algebraic Specifications
    Liu, Dongmei
    Liu, Yuxin
    Zhang, Xin
    Zhu, Hong
    Bayley, Ian
    9TH IEEE INTERNATIONAL SYMPOSIUM ON SERVICE-ORIENTED SYSTEM ENGINEERING (SOSE 2015), 2015, : 143 - 152
  • [29] INTRODUCTION TO ALGEBRAIC SPECIFICATIONS BASED ON THE LANGUAGE ACT ONE
    DEMEER, J
    ROTH, R
    VUONG, S
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1992, 23 (05): : 363 - 392
  • [30] Monic Testing of Web Services Based on Algebraic Specifications
    Liu, Dongmei
    Wu, Xian
    Zhang, Xin
    Zhu, Hong
    Bayley, Ian
    PROCEEDINGS 2016 IEEE SYMPOSIUM ON SERVICE-ORIENTED SYSTEM ENGINEERING SOSE 2016, 2016, : 24 - 33
12345