From: Jurgen Vinju To: Date: Fri, 5 Nov 2004 13:09:49 +0100 Subject: PEM: Pieter Hartel (Univ. of Southampton) | A simple animation tool for operational semantics | 27.02.97 From: pem (PEM moderator) To: pem-noreply Subject: PEM meeting | 27.02.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 A simple animation tool for operational semantics Date: 27.02.97 Time: 10:00 Venue: F013, UvA WINS Speaker: Pieter Hartel (Univ. of Southampton) Title: A simple animation tool for operational semantics A simple and effective tool is proposed to aid in the development of an operational semantics. The tool supports publication quality rendering using LaTeX, animation using a functional programming system, and derivation tree browsing using Netscape. The tool has been implemented and it has been used on a number of relatively small languages. The input language to the tool is an extension of Miranda. Using the tool is shown to be an effective way of exploring ones understanding of the subject matter. _________________________________________________________________ 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 _________________________________________________________________