From: Jurgen Vinju To: Date: Fri, 5 Nov 2004 13:09:50 +0100 Subject: PEM: Kazuhiro Ogata (JAIST) | TRAM: An Abstract Machine for Order-Sorted Conditional Term Rewriting Systems | 6.06.97 From: pem (PEM moderator) To: pem-noreply Subject: PEM meeting | 6.06.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" dasdas This announcement can be found at TRAM: An Abstract Machine for Order-Sorted Conditional Term Rewriting Systems Date: 6.06.97 Time: 15:00 Venue: F013, UvA WINS Speaker: Kazuhiro Ogata (JAIST) Title: TRAM: An Abstract Machine for Order-Sorted Conditional Term Rewriting Systems TRAM is an abstract machine for order-sorted conditional rewritings (OSCRs). The OSCRs can serve as a general computaion model for advanced algebraic specification languages such as OBJ3 and CafeOBJ. Some features of TRAM are to adopt the E-strategy as its reduction strategy, to declare error sorts implicitly for each connected component of sorts instead of using the retract operations, and to treat some sorts and the related operations as primitives (built-ins). The architecture is unique such that subject terms are compiled into self modifying programs. _________________________________________________________________ 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 _________________________________________________________________