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) |