SAIG01: Accepted Papers

1 Short Cut Fusion: Proved and Improved Patricia Johann
5 MetaKlaim: Meta-Programming for Global Computing (Position Paper) G. Ferrari, E.Moggi, R.Pugliese
7 Generation of Efficient Programs for Solving Maximum Multi-Marking Problems Isao Sasano, Zhenjiang Hu, Masato Takeichi
8 A transformational approach which combines size inference and program optimization (Position Paper) Christoph Herrmann, Christian Lengauer
10 Static Transition Compression Daniel Damian and Olivier Danvy
11 A Unifying Approach to Goal-Directed Evaluation Olivier Danvy, Bernd Grobauer, and Morten Rhiger
13 Integrating Partial Evaluators into Interpreters Kenichi Asai
14 A Design Methodology for Haskell David Wakeling
15 Dynamically Adaptable Software with Metacomputations in a Staged Language Bill Harrison and Tim Sheard

Server START Conference Manager
Update Time 16 Jun 2001 at 14:22:38
Maintainer saig@cs.yale.edu.
Start Conference Manager
Conference Systems