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 条
  • [1] REWRITE, REWRITE, REWRITE, REWRITE, REWRITE
    DERSHOWITZ, N
    KAPLAN, S
    CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 250 - 259
  • [2] REWRITE ORDERINGS AND TERMINATION OF REWRITE SYSTEMS
    LESCANNE, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 520 : 17 - 27
  • [3] 'Rewrite'
    Pearson, M
    FIDDLEHEAD, 1998, (195): : 64 - 64
  • [4] COMPLETENESS OF REWRITE RULES AND REWRITE STRATEGIES FOR FP
    HALPERN, JY
    WILLIAMS, JH
    WIMMERS, EL
    JOURNAL OF THE ACM, 1990, 37 (01) : 86 - 143
  • [5] 'REWRITE'
    DUNN, S
    AMERICAN POETRY REVIEW, 1976, 5 (02): : 8 - 8
  • [6] Rewrite
    Stock, David
    DIALECTICAL ANTHROPOLOGY, 2008, 32 (04) : 383 - 383
  • [7] Rewrite
    David Stock
    Dialectical Anthropology, 2008, 32 (4) : 383 - 383
  • [8] REWRITE
    FORD, DC
    ELECTRONIC PRODUCTS MAGAZINE, 1982, 25 (01): : 13 - 13
  • [9] REWRITE
    Emery, Philip
    NEW WRITING-THE INTERNATIONAL JOURNAL FOR THE PRACTICE AND THEORY OF CREATIVE WRITING, 2013, 10 (01): : 111 - 111
  • [10] 'REWRITE'
    SHERWOOD, A
    OVERLAND, 1993, 132 : 39 - 39
12345