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

DOI10.1007/3-540-45350-4MaRDI QIDQ1582979zbMATH OpenOpenAlexFDO

Authors

Publication date 18 October 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45350-4

zbMATH Keywords

Montrèal (Canada)ProceedingsProgram generationSAIG 2000SemanticsWorkshop

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Review text

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]

Recommendations

• Semantics, applications, and implementation of program generation. 2nd international workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings
• scientific article; zbMATH DE number 2087604
• scientific article; zbMATH DE number 107856
• Proceedings of the 19th conference on mathematical foundations of programming semantics (MFPS XIX), Montreal, Canada, March 19--22, 2003
• Generative programming and component engineering. ACM SIGPLAN/SIGSOFT conference, GPCE 2002, Pittsburgh, PA, USA, October 6--8, 2002. Proceedings
• scientific article; zbMATH DE number 444391
• Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
• 2000 ACM SIGPLAN Haskell workshop (satellite event of PLI 2000), Montreal, Canada, September 17, 2000. Proceedings
• scientific article; zbMATH DE number 488596
• Semantics-directed generation of a Prolog compiler

Cited in

(1)

• HOOTS 2000. 4th international workshop on higher order operational techniques in semantics (satellite to PLI 2000), Montreal, Canada, September 22, 2000. Proceedings

This page was built for publication: Semantics, applications, and implementation of program generation. International workshop, SAIG 2000, Montrèal, Canada, September 20, 2000. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1582979)