Term rewriting systems for modular algebraic specification languages

被引：0
|
作者：
Nakamura, Masaki [1 ]
Futatsugi, Kokichi [1 ]
机构：
[1] School of Information Science, Japan Advanced Institute of Science and Technology
来源：
Computer Software | 2006年 / 23卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：35 / 50
相关论文
共 50 条
  • [41] Natural rewriting for general term rewriting systems
    Escobar, S
    Meseguer, J
    Thati, P
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 101 - 116
  • [42] Supremal sublanguages of general specification languages arising in modular control of discrete-event systems
    Komenda, J.
    van Schuppen, J. H.
    2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 2775 - 2780
  • [43] AN ALGEBRAIC STRUCTURE FOR DERIVATIONS IN REWRITING-SYSTEMS
    VELINOV, Y
    THEORETICAL COMPUTER SCIENCE, 1988, 57 (2-3) : 205 - 224
  • [44] Generation of languages by rewriting systems that resemble automata
    Krivka, Zbynek
    Meduna, Alexander
    Schonecker, Rudolf
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2006, 17 (05) : 1223 - 1229
  • [45] ON THE PARAMETERIZED ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS
    ASTESIANO, E
    MASCARI, GF
    REGGIO, G
    WIRSING, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 342 - 358
  • [46] On the Algebraic Specification and Verification of Parallel Systems
    Triantafyllou, Nikolaos
    Ksystra, Katerina
    Stefaneas, Petros
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 623 - 624
  • [47] Term graph rewriting and mobile expressions in functional languages
    Plasmeijer, R
    van Eekelen, M
    APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS, 2000, 1779 : 1 - 13
  • [48] TRSPEC - A TERM REWRITING BASED SYSTEM FOR ALGEBRAIC SPECIFICATIONS
    AVENHAUS, J
    BENNINGHOFEN, B
    GOBEL, R
    MADLENER, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 665 - 667
  • [49] TRSPEC - A TERM REWRITING BASED SYSTEM FOR ALGEBRAIC SPECIFICATIONS
    AVENHAUS, J
    GOBEL, R
    GRAMLICH, B
    MADLENER, K
    STEINBACH, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 245 - 248
  • [50] Languages, rewriting systems, and verification of infinite-state systems
    Bouajjani, A
    AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 24 - 39
12345