Semantics, applications, and implementation of program generation. 2nd international workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings (Q5947959)

The articles of mathematical interest will be reviewed individually. The preceding workshop (1st, 2000) has been reviewed (see Zbl 0947.00043). Indexed articles: \textit{Czarnecki, Krzysztof}, Generative programming and software system families, 1 [Zbl 1030.68636] \textit{Sheard, Tim}, Accomplishments and research challenges in meta-programming, 2-44 [Zbl 1030.68536] \textit{Wand, Mitchell}, A semantics for advice and dynamic join points in aspect-oriented programming, 45-46 [Zbl 1030.68537] \textit{Johann, Patricia}, Short cut fusion: Proved and improved, 47-71 [Zbl 1030.68543] \textit{Sasano, Isao; Hu, Zhenjiang; Takeichi, Masato}, Generation of efficient programs for solving maximum multi-marking problems, 72-91 [Zbl 1030.68544] \textit{Damian, Daniel; Danvy, Olivier}, Static transition compression, 92-107 [Zbl 1030.68541] \textit{Danvy, Olivier; Grobauer, Bernd; Rhiger, Morten}, A unifying approach to goal-directed evaluation, 108-125 [Zbl 1030.68542] \textit{Asai, Kenichi}, Integrating partial evaluators into interpreters, 126-145 [Zbl 1030.68533] \textit{Wakeling, David}, A design methodology for functional programs, 146-162 [Zbl 1030.68540] \textit{Harrison, Bill; Sheard, Tim}, Dynamically adaptable software with metacomputations in a staged language, 163-182 [Zbl 1030.68535] \textit{Ferrari, Gianluigi; Moggi, Eugenio; Pugliese, Rosario}, MetaKlaim: Meta-programming for global computing, 183-198 [Zbl 1030.68534] \textit{Herrmann, Christoph A.; Lengauer, Christian}, A transformational approach which combines size inference and program optimization, 199-218 [Zbl 1030.68539]