default search action

combined dblp search
author search
venue search
publication search

ask others

1. SAIG 2000: Montreal, Canada

> Home > Conferences and Workshops > SAIG

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/saig/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/2000
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

- view
  authority control:
- export record
  dblp key:
  - conf/saig/Kieburtz00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/Kieburtz00
Richard B. Kieburtz:
Implementing Closed Domain-Specific Languages. 1-2
- view
  authority control:
- export record
  dblp key:
  - conf/saig/Batory00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/Batory00
Don S. Batory:
Refinements and Product Line Architectures. 3-4
- view
  authority control:
- export record
  dblp key:
  - conf/saig/Pfenning00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/Pfenning00
Frank Pfenning:
Reasoning about Staged Computation. 5-6
- view
  authority control:
- export record
  dblp key:
  - conf/saig/Muller00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/Muller00
Gilles Muller:
Specialization of Systems Programs: Lessons and Perspectives. 7-8

Technical Papers

- view
  authority control:
- export record
  dblp key:
  - conf/saig/ElliottFM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/ElliottFM00
Conal Elliott, Sigbjørn Finne, Oege de Moor:
Compiling Embedded Languages. 9-27
- view
  authority control:
- export record
  dblp key:
  - conf/saig/KaminCC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/KaminCC00
Samuel N. Kamin, Miranda Callahan, Lars Clausen:
Lightweight and Generative Components 2: Binary-Level Components. 28-50
- view
  authority control:
- export record
  dblp key:
  - conf/saig/HelsenT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/HelsenT00
Simon Helsen, Peter Thiemann:
Fragmental Specialization. 51-71
- view
  authority control:
- export record
  dblp key:
  - conf/saig/SongF00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/SongF00
Litong Song, Yoshihiko Futamura:
A New Termination Approach for Specialization. 72-91
- view
  authority control:
- export record
  dblp key:
  - conf/saig/CalcagnoM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/CalcagnoM00
Cristiano Calcagno, Eugenio Moggi:
Multi-Stage Imperative Languages: A Conservative Extension Result. 92-107
- view
  authority control:
- export record
  dblp key:
  - conf/saig/FischbachH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/FischbachH00
Adam Fischbach, John Hannan:
Specification and Correctness of Lambda Lifting. 108-128
- view
  authority control:
- export record
  dblp key:
  - conf/saig/Makholm00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/Makholm00
Henning Makholm:
On Jones-Optimal Specialization for Strongly Typed Languages. 129-148

Position Papers

- view
  authority control:
- export record
  dblp key:
  - conf/saig/Ramsey00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/Ramsey00
Norman Ramsey:
Pragmatic Aspects of Reusable Program Generators. 149-171
- view
  authority control:
- export record
  dblp key:
  - conf/saig/BerardiCDG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/BerardiCDG00
Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini:
Type-Based Useless-Code Elimination for Functional Programs. 172-189
- view
  authority control:
- export record
  dblp key:
  - conf/saig/VuducD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/VuducD00
Rich Vuduc, James Demmel:
Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW. 190-211
- view
  authority control:
- export record
  dblp key:
  - conf/saig/FischerSP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/FischerSP00
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.