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] The Lubeck Transformation System: A transformation system for equational higher order algebraic specifications
    Dosch, W
    Magnussen, S
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2001, 2267 : 85 - 108
  • [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] 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
  • [45] ALGEBRAIC SPECIFICATIONS WITH GENERATING CONSTRAINTS
    EHRIG, H
    WAGNER, EG
    THATCHER, JW
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 154 : 188 - 202
  • [46] PROPAGATING CHANGES IN ALGEBRAIC SPECIFICATIONS
    NAKAGAWA, AT
    FUTATSUGI, K
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (06): : 476 - 486
  • [47] DEVELOPMENT OF ALGEBRAIC SPECIFICATIONS WITH CONSTRAINTS
    OREJAS, F
    SACRISTAN, V
    CLERICI, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 393 : 102 - 123
  • [48] OBSERVATIONAL IMPLEMENTATION OF ALGEBRAIC SPECIFICATIONS
    HENNICKER, R
    ACTA INFORMATICA, 1991, 28 (03) : 187 - 230
  • [49] Refinement of parameterized algebraic specifications
    Srinivas, YV
    ALGORITHMIC LANGUAGES AND CALCULI, 1997, : 164 - 186
  • [50] MODAL LOGIC AND ALGEBRAIC SPECIFICATIONS
    MOSS, LS
    THATTE, SR
    THEORETICAL COMPUTER SCIENCE, 1993, 111 (1-2) : 191 - 210
12345