Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. 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
a service of 
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.
last updated on 2024-04-25 05:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
