From: Jurgen Vinju To: Date: Fri, 5 Nov 2004 13:09:56 +0100 Subject: PEM: Wan Fokkink | Lazy Rewriting on Eager Machinery | 7.10.99 From: pem (PEM moderator) To: pem-noreply Subject: PEM meeting | 7.10.99 | M2.79, CWI Precedence: bulk X-url: http://www.cwi.nl/~pem Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Dear Envirtonmentalsist, This week, our newly old colleague Wan Fokkink will tell us about lazy rewriting. This announcement can be found at Lazy Rewriting on Eager Machinery Date: 7.10.99 Time: 10:00 Venue: M2.79, CWI Speaker: Wan Fokkink Title: Lazy Rewriting on Eager Machinery In term rewriting, innermost (or eager) reduction tends to yield more efficient implementations, while outermost reduction often displays better termination behaviour. Lazy reduction attempts to combine the best of both worlds. In this talk I will discuss a novel way of lazy reduction, based on the possibility to "protect" certain arguments of function symbols by marking them as lazy. After some transformations of rewrite rules, this notion of lazy reduction can be simulated by means of innermost reduction. (This is joint work with Jasper Kamperman and Pum Walters.) _________________________________________________________________ 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 _________________________________________________________________