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 条
  • [31] Automated testing EJB components based on algebraic specifications
    Kong, Liang
    Zhu, Hong
    Zhou, Bin
    COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS, 2007, : 717 - +
  • [32] Declarative debugging of rewriting logic specifications
    Riesco, Adrian
    Verdejo, Alberto
    Marti-Oliet, Narciso
    Caballero, Rafael
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (7-8): : 851 - 897
  • [33] Declarative Debugging of Rewriting Logic Specifications
    Riesco, Adrian
    Verdejo, Alberto
    Caballero, Rafael
    Marti-Oliet, Narciso
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2009, 5486 : 308 - 325
  • [34] Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJULIENNE
    Alpuente, Maria
    Ballis, Demis
    Frechina, Francisco
    Sapina, Julia
    PROGRAMMING LANGUAGES AND SYSTEMS, 2013, 7792 : 121 - 124
  • [35] Combining Clifford algebraic computing and term-rewriting for geometric theorem proving
    Fevre, Stephane
    Wang, Dongming
    Fundamenta Informaticae, 1999, 39 (1-2): : 85 - 104
  • [36] EXTENDING POWEREPSILON WITH ALGEBRAIC REWRITING
    ZENG, LX
    ZHU, MY
    SIGPLAN NOTICES, 1994, 29 (01): : 20 - 26
  • [37] Confluence of algebraic rewriting systems
    Chenavier, Cyrille
    Dupont, Benjamin
    Malbos, Philippe
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022, 32 (07) : 870 - 897
  • [38] Term Graph Rewriting and Parallel Term Rewriting
    Corradini, Andrea
    Drewes, Frank
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (48): : 3 - 18
  • [39] A Human-Oriented Term Rewriting System
    Ayers, Edward William
    Gowers, William T.
    Jamnik, Mateja
    ADVANCES IN ARTIFICIAL INTELLIGENCE, KI 2019, 2019, 11793 : 76 - 86
  • [40] 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
12345