Semantics, applications, and implementation of program generation. International workshop, SAIG 2000, Montrèal, Canada, September 20, 2000. Proceedings (Q1582979)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Kieburtz, Richard B.}, Implementing closed domain-specific languages (abstract of invited talk), 1-2 [Zbl 1044.68530] \textit{Batory, Don}, Refinements and product line architectures (abstract of invited talk), 3-4 [Zbl 1044.68526] \textit{Pfenning, Frank}, Reasoning about staged computation (abstract of invited talk), 5-6 [Zbl 1044.68555] \textit{Muller, Gilles}, Specialization of systems programs: Lessons and perspectives (abstract of invited talk), 7-8 [Zbl 1044.68531] \textit{Elliott, Conal; Finne, Sigbjørn; de Moor, Oege}, Compiling embedded languages, 9-27 [Zbl 1044.68545] \textit{Kamin, Sam; Callahan, Miranda; Clausen, Lars}, Lightweight and generative components. II: Binary-level components, 28-50 [Zbl 1044.68529] \textit{Helsen, Simon; Thiemann, Peter}, Fragmental specialization, 51-71 [Zbl 1044.68528] \textit{Song, Litong; Futamura, Yoshihiko}, A new termination approach for specialization, 72-91 [Zbl 1044.68533] \textit{Calcagno, Cristiano; Moggi, Eugenio}, Multi-stage imperative languages: A conservative extension result, 92-107 [Zbl 1044.68025] \textit{Fischbach, Adam; Hannan, John}, Specification and correctness of lambda lifting, 108-128 [Zbl 1044.68027] \textit{Makholm, Henning}, On Jones-optimal specialization for strongly typed languages, 129-148 [Zbl 1044.68554] \textit{Ramsey, Norman}, Pragmatic aspects of reusable program generators (position paper), 149-171 [Zbl 1044.68532] \textit{Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio; Giannini, Paola}, Type-based useless-code elimination for functional programs (position paper), 172-189 [Zbl 1044.68542] \textit{Vuduc, Richard; Demmel, James W.}, Code generators for automatic tuning of numerical kernels: Experiences with FFTW (position paper), 190-211 [Zbl 1044.68534] \textit{Fischer, Bernd; Schumann, Johann; Pressburger, Tom}, Generating data analysis programs from statistical models (position paper), 212-229 [Zbl 1044.68527]