default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dagstuhl/dagstuhl-pe96.bht:"
download as .bib file
@inproceedings{DBLP:conf/dagstuhl/BlazyF96,
author = {Sandrine Blazy and
Philippe Facon},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {An Automatic Interprocedural Analysis for the Understanding of Scientific
Application Programs},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {1--16},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_1},
doi = {10.1007/3-540-61580-6\_1},
timestamp = {Sun, 04 Aug 2024 19:42:33 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BlazyF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BulyonkovK96,
author = {Mikhail A. Bulyonkov and
Dmitry V. Kochetov},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Practical Aspects of Specialization of Algol-like Programs},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {17--32},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_2},
doi = {10.1007/3-540-61580-6\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BulyonkovK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChinKT96,
author = {Wei{-}Ngan Chin and
Siau{-}Cheng Khoo and
Peter Thiemann},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Synchronization Analyses for Multiple Recursion Parameters (Extended
Abstract)},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {33--53},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_3},
doi = {10.1007/3-540-61580-6\_3},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/ChinKT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ConselHNNV96,
author = {Charles Consel and
Luke Hornof and
Fran{\c{c}}ois No{\"{e}}l and
Jacques Noy{\'{e}} and
Nicolae Volansche},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {A Uniform Approach for Compile-Time and Run-Time Specialization},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {54--72},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_4},
doi = {10.1007/3-540-61580-6\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ConselHNNV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Danvy96,
author = {Olivier Danvy},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Pragmatics of Type-Directed Partial Evaluation},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {73--94},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_5},
doi = {10.1007/3-540-61580-6\_5},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Danvy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Draves96,
author = {Scott Draves},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Compiler Generation for Interactive Graphics Using Intermediate Code},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {95--114},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_6},
doi = {10.1007/3-540-61580-6\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Draves96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GallagherL96,
author = {John P. Gallagher and
Laura Lafave},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Regular Approximation of Computation Paths in Logic and Functional
Languages},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {115--136},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_7},
doi = {10.1007/3-540-61580-6\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/GallagherL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GluckS96,
author = {Robert Gl{\"{u}}ck and
Morten Heine S{\o}rensen},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {A Roadmap to Metacomputation by Supercompilation},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {137--160},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_8},
doi = {10.1007/3-540-61580-6\_8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GluckS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HatcliffG96,
author = {John Hatcliff and
Robert Gl{\"{u}}ck},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Reasoning about Hierarchies of Online Program Specialization Systems},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {161--182},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_9},
doi = {10.1007/3-540-61580-6\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HatcliffG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Hughes96,
author = {John Hughes},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Type Specialisation for the lambda-Calculus; or, {A} New Paradigm
for Partial Evaluation Based on Type Inference},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {183--215},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_10},
doi = {10.1007/3-540-61580-6\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Hughes96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Jones96,
author = {Neil D. Jones},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {What Not to Do When Writing an Interpreter for Specialisation},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {216--237},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_11},
doi = {10.1007/3-540-61580-6\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Jones96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/JorgensenL96,
author = {Jesper J{\o}rgensen and
Michael Leuschel},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Efficiently Generating Efficient Generating Extensions in Prolog},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {238--262},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_12},
doi = {10.1007/3-540-61580-6\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/JorgensenL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LeuschelM96,
author = {Michael Leuschel and
Bern Martens},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Global Control for Partial Deduction through Characteristic Atoms
and Global Trees},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {263--283},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_13},
doi = {10.1007/3-540-61580-6\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LeuschelM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MiniussiS96,
author = {Alain Miniussi and
David J. Sherman},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Squeezing Intermediate Construction in Equational Programs},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {284--302},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_14},
doi = {10.1007/3-540-61580-6\_14},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/MiniussiS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Mogensen96,
author = {Torben {\AE}. Mogensen},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Evolution of Partial Evaluators: Removing Inherited Limits},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {303--321},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_15},
doi = {10.1007/3-540-61580-6\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Mogensen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NemytykhPT96,
author = {Andrei P. Nemytykh and
Victoria A. Pinchuk and
Valentin F. Turchin},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {A Self-Applicable Supercompiler},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {322--337},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_16},
doi = {10.1007/3-540-61580-6\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/NemytykhPT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NielsonN96,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Multi-Level Lambda-Calculi: An Algebraic Description},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {338--354},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_17},
doi = {10.1007/3-540-61580-6\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/NielsonN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PettorossiP96,
author = {Alberto Pettorossi and
Maurizio Proietti},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {A Comparative Revisitation of Some Program Transformation Techniques},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {355--385},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_18},
doi = {10.1007/3-540-61580-6\_18},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/PettorossiP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PettorossiP96a,
author = {Alberto Pettorossi and
Maurizio Proietti},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {A Theory of Logic Program Specialization and Generalization for Dealing
with Input Data Properties},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {386--408},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_19},
doi = {10.1007/3-540-61580-6\_19},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/PettorossiP96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/RepsT96,
author = {Thomas W. Reps and
Todd Turnidge},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Program Specialization via Program Slicing},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {409--429},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_20},
doi = {10.1007/3-540-61580-6\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/RepsT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Sakharov96,
author = {Alexander Sakharov},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Specialization of Imperative Programs Through Analysis of Relational
Expressions},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {430--445},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_21},
doi = {10.1007/3-540-61580-6\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Sakharov96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Sestoft96,
author = {Peter Sestoft},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {{MK} Pattern Match Compilation and Partial Evaluation},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {446--464},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_22},
doi = {10.1007/3-540-61580-6\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Sestoft96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Sperber96,
author = {Michael Sperber},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Self-Applicable Online Partial Evaluation},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {465--480},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_23},
doi = {10.1007/3-540-61580-6\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Sperber96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Turchin96,
author = {Valentin F. Turchin},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Metacomputation: Metasystem Transitions plus Supercompilation},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {481--509},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_24},
doi = {10.1007/3-540-61580-6\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Turchin96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/1996pe,
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6},
doi = {10.1007/3-540-61580-6},
isbn = {3-540-61580-6},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/1996pe.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-31 14:41 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:
