Programme of LDTA at ETAPS 2011

Saturday, March 26

Room E1.3/003

09:00 - 10:30 SESSION 1

09.00: Welcome to LDTA 2011

Claus Brabrand (IT University of Copenhagen, Denmark) & Eric Van Wyk (University of Minnesota, USA)

09.15: Invited Talk: Getting a Grip on Tasks that Coordinate Tasks

Rinus Plasmeijer (Radboud University Nijmegen, The Netherlands)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2 -- Types and Transformations

11.00: From Type Checking by Recursive Descent to Type Checking with an Abstract Machine

Ilya Sergey (Katholieke Universiteit Leuven, Belgium) and Dave Clarke (Katholieke Universiteit Leuven, Belgium)

11.30: More Precise Typing of Rewrite Strategies

Azamat Mametjanov (University of Nebraska at Omaha, USA), Victor Winter (University of Nebraska at Omaha, USA) and Ralf  Lämmel (University of Koblenz-Landau, Germany)

12.00: Higher-order Transformations with Nested Concrete Syntax

Rob Economopoulos (ECS, University of Southampton, UK) and Bernd Fischer (ECS, University of Southampton, UK)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3 -- LDTA 2011 Tool Challenge Kick-off

14:00: LDTA 2011 Tool Challenge Kick-off

Claus Brabrand (IT University of Copenhagen, Denmark) & Eric Van Wyk (University of Minnesota, USA)

14:30: TOOL CHALLENGE: Participant presentations

16:00 - 16:30 Coffee

16:30 - 18:00 TOOL CHALLENGE

16.30: TOOL CHALLENGE: Participant presentations

 

Sunday, March 27

09:00 - 10:30 SESSION 4 -- Semantics and Grammar Analysis

09.00: Stepwise Evaluation of Attribute Grammars

Arie Middelkoop (Universiteit Utrecht, The Netherlands), Atze Dijkstra (Universiteit Utrecht, The Netherlands) and Doaitse Swierstra (Universiteit Utrecht, The Netherlands)

09.30: Exploiting algebra/coalgebra duality for program fusion extensions

Facundo Dominguez (Universidad de la República, Uruguay) & Alberto Pardo (Universidad de la República, Uruguay)

10.00: Yield grammar analysis in the Bellman's GAP compiler

Robert Giegerich (Universität Bielefeld, Germany) and Georg Sauthoff (Universität Bielefeld, Germany)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 5 -- Parsing

11.00: Delayed semantic actions in a dependent parser

Yitzhak Mandelbaum (AT&T Labs–Research, USA) and Trevor Jim (AT&T Labs–Research, USA)

11.30: LDT: a language definition technique

Adrian Johnstone (Royal Holloway, University of London, UK), Elizabeth Scott (Royal Holloway, University of London, UK) and Mark van den Brand (Technische Universiteit Eindhoven, The Netherlands)

12.00: Parsing Reflective Grammars

Paul Stansifer (Northeastern University, USA) and Mitchell Wand (Northeastern University, USA)

12:30 - 14:00 Lunch

14:00 - 15:00 SESSION 6 – Tool Demonstrations

14:00: Building Semantic Editors using JastAdd

Emma Söderberg (Lund University, Sweden) and Görel Hedin (Lund University, Sweden)

14:30: VLex: Visualizing a Lexical Analyzer Generator

Alisdair Jorgensen (ECS, University of Southampton, UK), Giorgios Economopoulos (ECS, University of Southampton, UK) and Bernd Fischer (ECS, University of Southampton, UK)

15:00 - 16:00 TOOL CHALLENGE

15.00: TOOL CHALLENGE: Participant presentations

16:00 - 16:30 Coffee

16:30 - 18:00 TOOL CHALLENGE

16.30: TOOL CHALLENGE: Participant presentations

 

 

HOME PAGE: http://ldta.info