Search dblp for Publications

export results for "stream:streams/conf/saig:"

 download as .bib file

@inproceedings{DBLP:conf/saig/Asai01,
  author    = {Kenichi Asai},
  editor    = {Walid Taha},
  title     = {Integrating Partial Evaluators into Interpreters},
  booktitle = {Semantics, Applications, and Implementation of Program Generation,
               Second International Workshop, {SAIG} 2001, Florence, Italy, September
               6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2196},
  pages     = {126--145},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44806-3\_8},
  doi       = {10.1007/3-540-44806-3\_8},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/saig/Asai01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/Czarnecki01,
  author    = {Krzysztof Czarnecki},
  editor    = {Walid Taha},
  title     = {Generative Programming and Software System Families},
  booktitle = {Semantics, Applications, and Implementation of Program Generation,
               Second International Workshop, {SAIG} 2001, Florence, Italy, September
               6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2196},
  pages     = {1},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44806-3\_1},
  doi       = {10.1007/3-540-44806-3\_1},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saig/Czarnecki01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/DamianD01,
  author    = {Daniel Damian and
               Olivier Danvy},
  editor    = {Walid Taha},
  title     = {Static Transition Compression},
  booktitle = {Semantics, Applications, and Implementation of Program Generation,
               Second International Workshop, {SAIG} 2001, Florence, Italy, September
               6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2196},
  pages     = {92--107},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44806-3\_6},
  doi       = {10.1007/3-540-44806-3\_6},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saig/DamianD01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/DanvyGR01,
  author    = {Olivier Danvy and
               Bernd Grobauer and
               Morten Rhiger},
  editor    = {Walid Taha},
  title     = {A Unifying Approach to Goal-Directed Evaluation},
  booktitle = {Semantics, Applications, and Implementation of Program Generation,
               Second International Workshop, {SAIG} 2001, Florence, Italy, September
               6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2196},
  pages     = {108--125},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44806-3\_7},
  doi       = {10.1007/3-540-44806-3\_7},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saig/DanvyGR01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/FerrariMP01,
  author    = {Gian Luigi Ferrari and
               Eugenio Moggi and
               Rosario Pugliese},
  editor    = {Walid Taha},
  title     = {MetaKlaim: Meta-programming for Global Computing},
  booktitle = {Semantics, Applications, and Implementation of Program Generation,
               Second International Workshop, {SAIG} 2001, Florence, Italy, September
               6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2196},
  pages     = {183--198},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44806-3\_11},
  doi       = {10.1007/3-540-44806-3\_11},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saig/FerrariMP01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/HarrisonS01,
  author    = {William L. Harrison and
               Tim Sheard},
  editor    = {Walid Taha},
  title     = {Dynamically Adaptable Software with Metacomputations in a Staged Language},
  booktitle = {Semantics, Applications, and Implementation of Program Generation,
               Second International Workshop, {SAIG} 2001, Florence, Italy, September
               6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2196},
  pages     = {163--182},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44806-3\_10},
  doi       = {10.1007/3-540-44806-3\_10},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saig/HarrisonS01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/HerrmannL01,
  author    = {Christoph A. Herrmann and
               Christian Lengauer},
  editor    = {Walid Taha},
  title     = {A Transformational Approach which Combines Size Inference and Program
               Optimization},
  booktitle = {Semantics, Applications, and Implementation of Program Generation,
               Second International Workshop, {SAIG} 2001, Florence, Italy, September
               6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2196},
  pages     = {199--218},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44806-3\_12},
  doi       = {10.1007/3-540-44806-3\_12},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saig/HerrmannL01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/Johann01,
  author    = {Patricia Johann},
  editor    = {Walid Taha},
  title     = {Short Cut Fusion: Proved and Improved},
  booktitle = {Semantics, Applications, and Implementation of Program Generation,
               Second International Workshop, {SAIG} 2001, Florence, Italy, September
               6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2196},
  pages     = {47--71},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44806-3\_4},
  doi       = {10.1007/3-540-44806-3\_4},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saig/Johann01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/SasanoHT01,
  author    = {Isao Sasano and
               Zhenjiang Hu and
               Masato Takeichi},
  editor    = {Walid Taha},
  title     = {Generation of Efficient Programs for Solving Maximum Multi-marking
               Problems},
  booktitle = {Semantics, Applications, and Implementation of Program Generation,
               Second International Workshop, {SAIG} 2001, Florence, Italy, September
               6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2196},
  pages     = {72--91},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44806-3\_5},
  doi       = {10.1007/3-540-44806-3\_5},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saig/SasanoHT01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/Sheard01,
  author    = {Tim Sheard},
  editor    = {Walid Taha},
  title     = {Accomplishments and Research Challenges in Meta-programming},
  booktitle = {Semantics, Applications, and Implementation of Program Generation,
               Second International Workshop, {SAIG} 2001, Florence, Italy, September
               6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2196},
  pages     = {2--44},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44806-3\_2},
  doi       = {10.1007/3-540-44806-3\_2},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saig/Sheard01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/Wakeling01,
  author    = {David Wakeling},
  editor    = {Walid Taha},
  title     = {A Design Methodology for Functional Programs},
  booktitle = {Semantics, Applications, and Implementation of Program Generation,
               Second International Workshop, {SAIG} 2001, Florence, Italy, September
               6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2196},
  pages     = {146--162},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44806-3\_9},
  doi       = {10.1007/3-540-44806-3\_9},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saig/Wakeling01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/Wand01,
  author    = {Mitchell Wand},
  editor    = {Walid Taha},
  title     = {A Semantics for Advice and Dynamic Join Points in Aspect-Oriented
               Programming},
  booktitle = {Semantics, Applications, and Implementation of Program Generation,
               Second International Workshop, {SAIG} 2001, Florence, Italy, September
               6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2196},
  pages     = {45--46},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44806-3\_3},
  doi       = {10.1007/3-540-44806-3\_3},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saig/Wand01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saig/2001,
  editor    = {Walid Taha},
  title     = {Semantics, Applications, and Implementation of Program Generation,
               Second International Workshop, {SAIG} 2001, Florence, Italy, September
               6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2196},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44806-3},
  doi       = {10.1007/3-540-44806-3},
  isbn      = {3-540-42558-6},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/saig/2001.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics