From: PEM moderator To: Multiple recipients of list PEM <> Date: Tue, 2 Jul 2002 15:30:03 +0200 Subject: PEM | 4.07.02 | C.001 Precedence: bulk X-url: http://www.cwi.nl/~pem Mime-Version: 1.0 Content-Type: text/plain Dear colleagues, This week we welcome another international guest: This announcement can be found at Animation of (Incremental) Algorithms in the Lrc System Date: 4.07.02 Time: 10:00 Venue: C.001 Speaker: J. Saraiva Title: Animation of (Incremental) Algorithms in the Lrc System In this talk I will present the Lrc system and I will show how animations of incremental and non-incremental algorithms can easily be specified and efficiently implemented using Lrc. Lrc is an incremental programming environment generator that provides modern and powerful properties to visualize, animate and interact with language-based tools. Lrc is a higher-order attribute grammar-based system. Thus, it accepts as input an algorithm specified in the higher-order attribute grammar formalism, and from such a specification it automatically generates incremental (and non-incremental) and purely functional implementations. Incremental behaviour is obtained via function memoization. To animate and visualize such implementations we use the GraphViz system. As a motivating example, I will also present a powerful spreadsheet-like tool produced by Lrc, which we are using to manage the marks of our students. I will show the incremental and non-incremental animation of that tool. Moreover, I will present some results of its incremental behaviour when processing a real input. Have a nice day. _________________________________________________________________ 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 _________________________________________________________________