


default search action
1. SAIG 2000: Montreal, Canada
- Walid Taha:

Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings. Lecture Notes in Computer Science 1924, Springer 2000, ISBN 3-540-41054-6
Invited Talks
- Richard B. Kieburtz:

Implementing Closed Domain-Specific Languages. 1-2 - Don S. Batory:

Refinements and Product Line Architectures. 3-4 - Frank Pfenning:

Reasoning about Staged Computation. 5-6 - Gilles Muller:

Specialization of Systems Programs: Lessons and Perspectives. 7-8
Technical Papers
- Conal Elliott, Sigbjørn Finne, Oege de Moor:

Compiling Embedded Languages. 9-27 - Samuel N. Kamin, Miranda Callahan, Lars Clausen:

Lightweight and Generative Components 2: Binary-Level Components. 28-50 - Simon Helsen, Peter Thiemann:

Fragmental Specialization. 51-71 - Litong Song, Yoshihiko Futamura:

A New Termination Approach for Specialization. 72-91 - Cristiano Calcagno, Eugenio Moggi:

Multi-Stage Imperative Languages: A Conservative Extension Result. 92-107 - Adam Fischbach, John Hannan:

Specification and Correctness of Lambda Lifting. 108-128 - Henning Makholm:

On Jones-Optimal Specialization for Strongly Typed Languages. 129-148
Position Papers
- Norman Ramsey:

Pragmatic Aspects of Reusable Program Generators. 149-171 - Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini

:
Type-Based Useless-Code Elimination for Functional Programs. 172-189 - Rich Vuduc

, James Demmel:
Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW. 190-211 - Bernd Fischer, Johann Schumann, Thomas Pressburger:

Generating Data Analysis Programs from Statistical Models. 212-229

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














