Rewrite, rewrite, rewrite, rewrite, rewrite ...

Nachum Dershowitz*, Stephane Kaplan

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationConf Rec Sixteenth Annu ACM Symp Princ Program Lang
PublisherAssociation for Computing Machinery (ACM)
Pages250-259
Number of pages10
ISBN (Print)0897912942, 9780897912945
DOIs
StatePublished - 1989
Externally publishedYes
EventConference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages - Austin, TX, USA
Duration: 11 Jan 198913 Jan 1989

Publication series

NameConf Rec Sixteenth Annu ACM Symp Princ Program Lang

Conference

ConferenceConference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages
CityAustin, TX, USA
Period11/01/8913/01/89

Fingerprint

Dive into the research topics of 'Rewrite, rewrite, rewrite, rewrite, rewrite ...'. Together they form a unique fingerprint.

Cite this