REWRITE, REWRITE, REWRITE, REWRITE, REWRITE, ...

被引：48
|
作者：
DERSHOWITZ, N
KAPLAN, S
PLAISTED, DA
机构：
[1] BAR ILAN UNIV, DEPT COMP SCI, IL-52100 RAMAT GAN, ISRAEL
[2] UNIV PARIS 11, RECH INFORMAT LAB, F-91405 ORSAY, FRANCE
[3] UNIV N CAROLINA, DEPT COMP SCI, CHAPEL HILL, NC 27599 USA
来源：
THEORETICAL COMPUTER SCIENCE | 1991年 / 83卷 / 01期
基金：
美国国家科学基金会;
关键词：
D O I：
10.1016/0304-3975(91)90040-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We study properties of rewrite systems that are not necessarily terminating, but allow instead for transfinite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness and relate the operational and algebraic semantics of infinitary theories. We also consider sufficient completeness of hierarchical systems.
引用
收藏
页码：71 / 96
页数：26
相关论文
共 50 条
  • [31] Characterizing confluence by rewrite closure and right ground term rewrite systems
    Godoy, G
    Tiwari, A
    Verma, R
    APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2004, 15 (01) : 13 - 36
  • [32] Read, write, and rewrite
    Baron, JH
    LANCET, 2002, 359 (9315): : 1440 - 1440
  • [33] Learning to Rewrite Queries
    He, Yunlong
    Tang, Jiliang
    Ouyang, Hua
    Kang, Changsung
    Yin, Dawei
    Chang, Yi
    CIKM'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, 2016, : 1443 - 1452
  • [34] CONDITIONAL REWRITE RULES
    KAPLAN, S
    THEORETICAL COMPUTER SCIENCE, 1984, 33 (2-3) : 175 - 193
  • [35] GET ME REWRITE
    Rapold, Nicolas
    BlacKkKlansman
    FILM COMMENT, 2018, 54 (04) : 26 - 27
  • [36] Generalized rewrite theories
    Bruni, R
    Meseguer, J
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2003, 2719 : 252 - 266
  • [37] THE WAY THEY REWRITE HISTORY
    FITOU, JF
    ANNALES-ECONOMIES SOCIETES CIVILISATIONS, 1989, 44 (02): : 479 - 497
  • [38] WOBBLES REWRITE HISTORY
    BOWLER, S
    NEW SCIENTIST, 1990, 127 (1731) : 21 - 21
  • [39] Get me rewrite!
    Leonard, D
    FORTUNE, 2006, 153 (07) : 66 - 66
  • [40] Rewrite rules for CTL
    McCabe-Dansted, John C.
    Reynolds, Mark
    JOURNAL OF APPLIED LOGIC, 2017, 21 : 24 - 56
12345