| 9.00 |
A better CAT made-in-Belgium: Chat
Bart Demoen and Konstantinos Sagonas |
| 9.30 |
An Abstract Machine for Fast Parsing of
Typed Feature Structure Grammars
John C. Brown and Suresh Manandhar |
| 10.00 |
Abstract Machine Construction through Operational
Semantics Refinements
Frederic Cabestre, Christian Percebois and Jean-Paul Bodeveix |
| 10:30 | Coffee-Break |
| 11.00 |
Brunette: Brute Force Rewriting Engine
Makoto Ishisone and Ataru T. Nakagaw |
| 11.30 |
Super-Closures
Frederic Lang, Zino Benaissa and Pierre Lescanne |
| 12.00 |
An Abstract Machine for Module Replacement
Chris Walton, Dilsun Kirli and Stephen Gilmore |
| 12:30 | Lunch |
| 14.30 |
Visualizing Principles of Abstract Machines by Generating
Interactive Animations
Stephan Diehl and Thomas Kunze |
| 15.00 |
Dynamic semantics of Java byte-code
Peter Bertelsen |
| 15:30 | Coffee-Break (and End of Workshop) |