![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.