Semantics, Applications, and Implementation of Program Generation

1. Front Matter

   Pages I-VIII

   PDF

2. Invited Talks

   1. Implementing Closed Domain-Specific Languages

      • Richard B. Kieburtz

      Pages 1-2

   2. Refinements and Product Line Architectures

      • Don Batory

      Pages 3-4

   3. Reasoning about Staged Computation

      • Frank Pfenning

      Pages 5-6

   4. Specialization of Systems Programs: Lessons and Perspectives

      • Gilles Muller

      Pages 7-8

3. Technical Papers

   1. Compiling Embedded Languages

      • Conal Elliott, Sigbjørn Finne, Oege de Moor

      Pages 9-26

   2. Lightweight and Generative Components II: Binary-Level Components

      • Sam Kamin, Miranda Callahan, Lars Clausen

      Pages 28-49

   3. Fragmental Specialization

      • Simon Helsen, Peter Thiemann

      Pages 51-71

   4. A New Termination Approach for Specialization

      • Litong Song, Yoshihiko Futamura

      Pages 72-91

   5. Multi-stage Imperative Languages: A Conservative Extension Result

      • Cristiano Calcagno, Eugenio Moggi1

      Pages 92-107

   6. Specification and Correctness of Lambda Lifting

      • Adam Fischbach, John Hannan

      Pages 108-128

   7. On Jones-Optimal Specialization for Strongly Typed Languages

      • Henning Makholm

      Pages 129-148

4. Position Papers

   1. Pragmatic Aspects of Reusable Program Generators Position Paper

      • Norman Ramsey

      Pages 149-171

   2. Type-Based Useless-Code Elimination for Functional Programs Position Paper

      • Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini

      Pages 172-189

   3. Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW Position Paper

      • Richard Vuduc, James W. Demmel

      Pages 190-211

   4. Generating Data Analysis Programs from Statistical Models

      • Bernd Fischer, Johann Schumann, Tom Pressburger

      Pages 212-229

5. Back Matter

   Pages 231-231

   PDF

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.

• Programming logic
• formal specification
• program analysis
• program construction
• program generation
• program semantics
• program transformation
• programming
• programming language
• programming languages
• programming languages implementation
• semantics

• Department of Computer Science Eklandagatan 86, Chalmers University of Technology, Gothenburg, Sweden

  Walid Taha

Policies and ethics