From: PEM moderator To: Date: Wed, 5 Nov 2003 09:07:57 +0100 Subject: PEM meeting | 6.11.03 | M280 Precedence: bulk X-url: http://www.cwi.nl/~pem Mime-Version: 1.0 Content-Type: text/plain Hi! Pierre-Etienne Moreau is visiting us from Nancy. He will present the latest developments on TOM and Eclipse This announcement can be found at Formal Islands: introducing algebraic pattern matching facilities into a classical language. Date: 6.11.03 Time: 10:00 Venue: M280 Speaker: Pierre-Etienne Moreau Title: Formal Islands: introducing algebraic pattern matching facilities i nto a classical language. The notion of formal islands (think of island grammars) is a way of integrating algebraic notions into existing programs written in C or Java for example. As shown by ASF+SDF and ELAN, many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations. In order to simplify the implementation of these transformations (in C or Java), and reduce the risk of error, we have introduced a pattern matching compiler: TOM. In this talk, I will introduce the language and its (informal) semantics and give several examples of applications, ranging from small XML transformations to the TOM compiler itself. TOM is developed by INRIA (http://tom.loria.fr) and is available as an eclipse plugin. This bundle contains the ATerm library and integrates an ApiGen plugin. _________________________________________________________________ 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 _________________________________________________________________