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 条
  • [41] Parallelization of Termination Checker for Term Rewriting System
    Ding, Rui
    Sato, Haruhiko
    Kurihara, Masahito
    PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2012, : 1824 - 1829
  • [42] Proving sufficient completeness of constructor-based algebraic specifications
    Nakamura, Masaki
    Gaina, Daniel
    Ogata, Kazuhiro
    Futatsugi, Kokichi
    Lecture Notes in Electrical Engineering, 2015, 373 : 15 - 21
  • [43] CORRECTNESS PROOFS FOR META-IV WRITTEN CODE GENERATOR SPECIFICATIONS USING TERM REWRITING
    BUTH, B
    BUTH, KH
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 406 - 433
  • [44] DEVELOPMENT OF ALGEBRAIC SPECIFICATIONS WITH CONSTRAINTS
    OREJAS, F
    SACRISTAN, V
    CLERICI, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 393 : 102 - 123
  • [45] OBSERVATIONAL IMPLEMENTATION OF ALGEBRAIC SPECIFICATIONS
    HENNICKER, R
    ACTA INFORMATICA, 1991, 28 (03) : 187 - 230
  • [46] ALGEBRAIC SPECIFICATIONS WITH GENERATING CONSTRAINTS
    EHRIG, H
    WAGNER, EG
    THATCHER, JW
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 154 : 188 - 202
  • [47] PROPAGATING CHANGES IN ALGEBRAIC SPECIFICATIONS
    NAKAGAWA, AT
    FUTATSUGI, K
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (06): : 476 - 486
  • [48] ALGEBRAIC DATA TYPE AND PROCESS SPECIFICATIONS BASED ON PROJECTION SPACES
    EHRIG, H
    PARISIPRESICCE, F
    BOEHM, P
    RIECKHOFF, C
    DIMITROVICI, C
    GROSSERHODE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 23 - 43
  • [49] PETRI NETS AND ALGEBRAIC SPECIFICATIONS
    REISIG, W
    THEORETICAL COMPUTER SCIENCE, 1991, 80 (01) : 1 - 34
  • [50] ALGEBRAIC SPECIFICATIONS FOR DOMAIN THEORY
    NICKL, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 360 - 374
12345