TY - GEN
T1 - Rewrite, rewrite, rewrite, rewrite, rewrite ...
AU - Dershowitz, Nachum
AU - Kaplan, Stephane
N1 - Funding Information:
* Preliminary versions [6,7] of ideas in this paper were presented at the Sixteenth ACM Symposium on Principles of Programming Languages, Austin, TX (January 1989) and at the Sixteenth EATCS International Colloquium on Automata, Languages and Programming, Stresa, Italy (July 1989). ** Supported in part by the U.S. National Science Foundation under Grant CCR 90-07195. *** Supported in part by the European Communities under ESPRIT project 432 (METEOR). t Supported in part by the U.S. National Science Foundation under Grant CCR 88-02282.
PY - 1989
Y1 - 1989
N2 - The theory of term rewriting systems has important applications in abstract data type specifications and functional programming languages. We begin here a study of properties of systems that are not necessarily terminating, but allow for infinite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness.
AB - The theory of term rewriting systems has important applications in abstract data type specifications and functional programming languages. We begin here a study of properties of systems that are not necessarily terminating, but allow for infinite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness.
UR - http://www.scopus.com/inward/record.url?scp=0024866744&partnerID=8YFLogxK
U2 - 10.1145/75277.75299
DO - 10.1145/75277.75299
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:0024866744
SN - 0897912942
SN - 9780897912945
T3 - Conf Rec Sixteenth Annu ACM Symp Princ Program Lang
SP - 250
EP - 259
BT - Conf Rec Sixteenth Annu ACM Symp Princ Program Lang
PB - Association for Computing Machinery (ACM)
T2 - Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages
Y2 - 11 January 1989 through 13 January 1989
ER -