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

Richard B. Kieburtz (auth.), Walid Taha (eds.)3540410546, 9783540410546

This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis.

---

Table of contents :
Implementing Closed Domain-Specific Languages….Pages 1-2
Refinements and Product Line Architectures….Pages 3-4
Reasoning about Staged Computation….Pages 5-6
Specialization of Systems Programs: Lessons and Perspectives….Pages 7-8
Compiling Embedded Languages….Pages 9-26
Lightweight and Generative Components II: Binary-Level Components….Pages 28-49
Fragmental Specialization….Pages 51-71
A New Termination Approach for Specialization….Pages 72-91
Multi-stage Imperative Languages: A Conservative Extension Result….Pages 92-107
Specification and Correctness of Lambda Lifting….Pages 108-128
On Jones-Optimal Specialization for Strongly Typed Languages….Pages 129-148
Pragmatic Aspects of Reusable Program Generators Position Paper….Pages 149-171
Type-Based Useless-Code Elimination for Functional Programs Position Paper….Pages 172-189
Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW Position Paper….Pages 190-211
Generating Data Analysis Programs from Statistical Models….Pages 212-229