SAIG

Keyphrases

Publications

2001

Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
MetaKlaim: Meta-programming for Global Computing. SAIG (2001)
Tim Sheard
Accomplishments and Research Challenges in Meta-programming. SAIG (2001)
Patricia Johann
Short Cut Fusion: Proved and Improved. SAIG (2001)
Kenichi Asai
Integrating Partial Evaluators into Interpreters. SAIG (2001)
Isao Sasano, Zhenjiang Hu, Masato Takeichi
Generation of Efficient Programs for Solving Maximum Multi-marking Problems. SAIG (2001)
Olivier Danvy, Bernd Grobauer, Morten Rhiger
A Unifying Approach to Goal-Directed Evaluation. SAIG (2001)
Mitchell Wand
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming. SAIG (2001)
Christoph A. Herrmann, Christian Lengauer
A Transformational Approach which Combines Size Inference and Program Optimization. SAIG (2001)
Daniel Damian, Olivier Danvy
Static Transition Compression. SAIG (2001)
Krzysztof Czarnecki
Generative Programming and Software System Families. SAIG (2001)
William L. Harrison, Tim Sheard
Dynamically Adaptable Software with Metacomputations in a Staged Language. SAIG (2001)
David Wakeling
A Design Methodology for Functional Programs. SAIG (2001)

volume 2196, 2001

Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings SAIG 2196 (2001)

2000

volume 1924, 2000

Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings SAIG 1924 (2000)