0800 - 0845 Invited Talk:
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented
Programming
Mitch Wand, Northeastern
0845 - 0915 Short Cut Fusion: Proved and Improved,
Patricia Johann, Dickinson College
0915 - 0945 Static Transition Compression,
Daniel Damian and Olivier Danvy, BRICS
0945 - 1005 Position Paper: A transformational
approach which combines size inference and program optimization,
Christoph Herrmann, Christian Lengauer, Passau
1005 - 1030 Break
1030 - 1115 Invited Talk:
Accomplishments and Research Challenges in Meta-Programming
Tim Sheard, OGI
1115 - 1145 Integrating Partial Evaluators into
Interpreters,
Kenichi Asai, Tokyo
1145 - 1215 A Unifying Approach to Goal-Directed
Evaluation,
Olivier Danvy, Bernd Grobauer, and Morten Rhiger, BRICS
1215 - 1235 Position Paper: MetaKlaim: Meta-Programming
for Global Computing,
G. Ferrari, Pisa, E.Moggi, Genova, R.Pugliese, Firenze
1235 - 1400 Lunch
1400 - 1445 Invited Talk:
Generative Programming and Software System Families
Krzysztof Czarnecki, Daimler Chrysler Research
1445 - 1515 A Design Methodology for Haskell,
David Wakeling, Exeter
1515 - 1530 PC Report, Walid Taha
1530 - 1600 Break
1600 - 1630 Generation of Efficient Programs for Solving Maximum Multi-Marking Problems,
Isao Sasano, Zhenjiang Hu, Masato Takeichi, Tokyo
1630 - 1700 Dynamically Adaptable Software with
Metacomputations in a Staged Language,
Bill Harrison and Tim Sheard, OGI
1700 - 1800 Panel Discusion
Abstracts available from list of accepted papers.
LNCS proceedings should be available online soon.