default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream: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 = {Fri, 30 Dec 2022 00:00:00 +0100},
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, 04 Aug 2024 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, 04 Aug 2024 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 = {Fri, 23 Jun 2023 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}
}
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.
retrieved on 2025-01-29 08:27 CET from data curated 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:
