Search dblp for Publications

export results for "toc:db/conf/saig/saig2000.bht:"

 download as .bib file

@inproceedings{DBLP:conf/saig/Batory00,
  author       = {Don S. Batory},
  editor       = {Walid Taha},
  title        = {Refinements and Product Line Architectures},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {3--4},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_2},
  doi          = {10.1007/3-540-45350-4\_2},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/Batory00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/BerardiCDG00,
  author       = {Stefano Berardi and
                  Mario Coppo and
                  Ferruccio Damiani and
                  Paola Giannini},
  editor       = {Walid Taha},
  title        = {Type-Based Useless-Code Elimination for Functional Programs},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {172--189},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_13},
  doi          = {10.1007/3-540-45350-4\_13},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saig/BerardiCDG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/CalcagnoM00,
  author       = {Cristiano Calcagno and
                  Eugenio Moggi},
  editor       = {Walid Taha},
  title        = {Multi-Stage Imperative Languages: {A} Conservative Extension Result},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {92--107},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_9},
  doi          = {10.1007/3-540-45350-4\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/CalcagnoM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/ElliottFM00,
  author       = {Conal Elliott and
                  Sigbj{\o}rn Finne and
                  Oege de Moor},
  editor       = {Walid Taha},
  title        = {Compiling Embedded Languages},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {9--27},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_5},
  doi          = {10.1007/3-540-45350-4\_5},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/ElliottFM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/FischbachH00,
  author       = {Adam Fischbach and
                  John Hannan},
  editor       = {Walid Taha},
  title        = {Specification and Correctness of Lambda Lifting},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {108--128},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_10},
  doi          = {10.1007/3-540-45350-4\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/FischbachH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/FischerSP00,
  author       = {Bernd Fischer and
                  Johann Schumann and
                  Thomas Pressburger},
  editor       = {Walid Taha},
  title        = {Generating Data Analysis Programs from Statistical Models},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {212--229},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_15},
  doi          = {10.1007/3-540-45350-4\_15},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/FischerSP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/HelsenT00,
  author       = {Simon Helsen and
                  Peter Thiemann},
  editor       = {Walid Taha},
  title        = {Fragmental Specialization},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {51--71},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_7},
  doi          = {10.1007/3-540-45350-4\_7},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saig/HelsenT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/KaminCC00,
  author       = {Samuel N. Kamin and
                  Miranda Callahan and
                  Lars Clausen},
  editor       = {Walid Taha},
  title        = {Lightweight and Generative Components 2: Binary-Level Components},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {28--50},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_6},
  doi          = {10.1007/3-540-45350-4\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/KaminCC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/Kieburtz00,
  author       = {Richard B. Kieburtz},
  editor       = {Walid Taha},
  title        = {Implementing Closed Domain-Specific Languages},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_1},
  doi          = {10.1007/3-540-45350-4\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/Kieburtz00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/Makholm00,
  author       = {Henning Makholm},
  editor       = {Walid Taha},
  title        = {On Jones-Optimal Specialization for Strongly Typed Languages},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {129--148},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_11},
  doi          = {10.1007/3-540-45350-4\_11},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/Makholm00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/Muller00,
  author       = {Gilles Muller},
  editor       = {Walid Taha},
  title        = {Specialization of Systems Programs: Lessons and Perspectives},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {7--8},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_4},
  doi          = {10.1007/3-540-45350-4\_4},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/Muller00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/Pfenning00,
  author       = {Frank Pfenning},
  editor       = {Walid Taha},
  title        = {Reasoning about Staged Computation},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {5--6},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_3},
  doi          = {10.1007/3-540-45350-4\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/Pfenning00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/Ramsey00,
  author       = {Norman Ramsey},
  editor       = {Walid Taha},
  title        = {Pragmatic Aspects of Reusable Program Generators},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {149--171},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_12},
  doi          = {10.1007/3-540-45350-4\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/Ramsey00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/SongF00,
  author       = {Litong Song and
                  Yoshihiko Futamura},
  editor       = {Walid Taha},
  title        = {A New Termination Approach for Specialization},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {72--91},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_8},
  doi          = {10.1007/3-540-45350-4\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/SongF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saig/VuducD00,
  author       = {Rich Vuduc and
                  James Demmel},
  editor       = {Walid Taha},
  title        = {Code Generators for Automatic Tuning of Numerical Kernels: Experiences
                  with {FFTW}},
  booktitle    = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  pages        = {190--211},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4\_14},
  doi          = {10.1007/3-540-45350-4\_14},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/VuducD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/saig/2000,
  editor       = {Walid Taha},
  title        = {Semantics, Applications, and Implementation of Program Generation,
                  International Workshop {SAIG} 2000, Montreal, Canada, September 20,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1924},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45350-4},
  doi          = {10.1007/3-540-45350-4},
  isbn         = {3-540-41054-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saig/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.