From: Jurgen Vinju To: Date: Fri, 5 Nov 2004 13:09:50 +0100 Subject: PEM: Rakesh Verma | Unique Normal Forms and Modularity of Confluence for Rewrite Systems | 15.05.97 From: pem (PEM moderator) To: pem-noreply Subject: PEM meeting | 15.05.97 | F013, UvA WINS Precedence: bulk X-url: http://www.cwi.nl/~pem Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" This announcement can be found at Unique Normal Forms and Modularity of Confluence for Rewrite Systems Date: 15.05.97 Time: 10:00 Venue: F013, UvA WINS Speaker: Rakesh Verma Title: Unique Normal Forms and Modularity of Confluence for Rewrite System s We will present a direct technique for establishing the unique normal form property of nonterminating rewrite systems. Based on this technique we will give some sufficient conditions for this property including certain kinds of rewrite systems with overlays or root overlaps. Our approach does not involve the linearization of a nonlinear system and no Church-Rosser property is required in the process. We will also give some sufficient conditions for the modularity of confluence of function-sharing combinations of rewrite systems. We do not require termination of the combined system. _________________________________________________________________ The programming environment meetings are a forum for the presentation and discussion of new ideas, ongoing and finished work. A typical meeting addresses a subject in the area of programming environments, program generation, algebraic specification, term rewriting, parsing, etc. A presentation ideally takes between 45 and 90 minutes. Meetings taking longer than 45 minutes are interrupted by a coffeebreak. Most Thursdays, a meeting is held which starts at 10:00 am. in one of the rooms at CWI/WINS. Exceptionally, dates or times may change. The program of the meetings is available on WWW: http://www.cwi.nl/~pem _________________________________________________________________