Search dblp for Publications

export results for "toc:db/conf/pado/pado2001.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pado/ChinKX01,
  author       = {Wei{-}Ngan Chin and
                  Siau{-}Cheng Khoo and
                  Dana N. Xu},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Deriving Pre-conditions for Array Bound Check Elimination},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {2--24},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_2},
  doi          = {10.1007/3-540-44978-7\_2},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/ChinKX01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/FischbachH01,
  author       = {Adam Fischbach and
                  John Hannan},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Type Systems for Useless-Variable Elimination},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {25--38},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_3},
  doi          = {10.1007/3-540-44978-7\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/FischbachH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/Ganzinger01,
  author       = {Harald Ganzinger},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Bottom-Up Deduction with Deletion and Priorities},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {276--278},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_16},
  doi          = {10.1007/3-540-44978-7\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/Ganzinger01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/GlynnSSS01,
  author       = {Kevin Glynn and
                  Peter J. Stuckey and
                  Martin Sulzmann and
                  Harald S{\o}ndergaard},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Boolean Constraints for Binding-Time Analysis},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {39--62},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_4},
  doi          = {10.1007/3-540-44978-7\_4},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pado/GlynnSSS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/GustavssonS01,
  author       = {J{\"{o}}rgen Gustavsson and
                  Josef Svenningsson},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Constraint Abstractions},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {63--83},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_5},
  doi          = {10.1007/3-540-44978-7\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/GustavssonS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/Jones01,
  author       = {Neil D. Jones},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Program Analysis for Implicit Computational Complexity},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {1},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_1},
  doi          = {10.1007/3-540-44978-7\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/Jones01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/Lawall01,
  author       = {Julia L. Lawall},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Implementing Circularity Using Partial Evaluation},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {84--102},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_6},
  doi          = {10.1007/3-540-44978-7\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/Lawall01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/Masse01,
  author       = {Damien Mass{\'{e}}},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Combining Forward and Backward Analyses of Temporal Properties},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {103--116},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_7},
  doi          = {10.1007/3-540-44978-7\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/Masse01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/Mastroeni01,
  author       = {Isabella Mastroeni},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Numerical Power Analysis},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {117--137},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_8},
  doi          = {10.1007/3-540-44978-7\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/Mastroeni01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/MasuharaY01,
  author       = {Hidehiko Masuhara and
                  Akinori Yonezawa},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Run-Time Bytecode Specialization},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {138--154},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_9},
  doi          = {10.1007/3-540-44978-7\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/MasuharaY01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/Mine01,
  author       = {Antoine Min{\'{e}}},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {A New Numerical Abstract Domain Based on Difference-Bound Matrices},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {155--172},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_10},
  doi          = {10.1007/3-540-44978-7\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/Mine01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/Schultz01,
  author       = {Ulrik Pagh Schultz},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Partial Evaluation for Class-Based Object-Oriented Languages},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {173--197},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_11},
  doi          = {10.1007/3-540-44978-7\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/Schultz01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/Secher01,
  author       = {Jens P. Secher},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Driving in the Jungle},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {198--217},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_12},
  doi          = {10.1007/3-540-44978-7\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/Secher01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/SittampalamM01,
  author       = {Ganesh Sittampalam and
                  Oege de Moor},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Higher-Order Pattern Matching for Automatically Applying Fusion Transformations},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {218--237},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_13},
  doi          = {10.1007/3-540-44978-7\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/SittampalamM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/Sullivan01,
  author       = {Gregory T. Sullivan},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Dynamic Partial Evaluation},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {238--256},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_14},
  doi          = {10.1007/3-540-44978-7\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/Sullivan01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pado/TahaMH01,
  author       = {Walid Taha and
                  Henning Makholm and
                  John Hughes},
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Tag Elimination and Jones-Optimality},
  booktitle    = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  pages        = {257--275},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7\_15},
  doi          = {10.1007/3-540-44978-7\_15},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pado/TahaMH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pado/2001,
  editor       = {Olivier Danvy and
                  Andrzej Filinski},
  title        = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
                  May 21-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2053},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44978-7},
  doi          = {10.1007/3-540-44978-7},
  isbn         = {3-540-42068-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pado/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.