Search dblp for Publications

export results for "toc:db/conf/pepm/pepm2000.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pepm/BrauxN00,
  author       = {Mathias Braux and
                  Jacques Noy{\'{e}}},
  editor       = {Julia L. Lawall},
  title        = {Towards Partially Evaluating Reflection in Java},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {2--11},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328693},
  doi          = {10.1145/328690.328693},
  timestamp    = {Thu, 08 Jul 2021 16:04:02 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/BrauxN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/ChinK00,
  author       = {Wei{-}Ngan Chin and
                  Siau{-}Cheng Khoo},
  editor       = {Julia L. Lawall},
  title        = {Calculating Sized Types},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {62--72},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328893},
  doi          = {10.1145/328690.328893},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/ChinK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/Das00,
  author       = {Manuvir Das},
  editor       = {Julia L. Lawall},
  title        = {Static Analysis of Large Programs: Some Experiences (Abstract of Invited
                  Talk)},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328692},
  doi          = {10.1145/328690.328692},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Das00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/GallagherP00,
  author       = {John P. Gallagher and
                  Julio C. Peralta},
  editor       = {Julia L. Lawall},
  title        = {Using Regular Approximations for Generalisation During Partial Evalution},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {44--51},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328698},
  doi          = {10.1145/328690.328698},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/GallagherP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/GrobauerY00,
  author       = {Bernd Grobauer and
                  Zhe Yang},
  editor       = {Julia L. Lawall},
  title        = {The Second Futamura Projection for Type-Directed Partial Evaluation},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {22--32},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328695},
  doi          = {10.1145/328690.328695},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/GrobauerY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/Kobayashi00,
  author       = {Naoki Kobayashi},
  editor       = {Julia L. Lawall},
  title        = {Type-Based Useless Variable Elimination},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {84--93},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328702},
  doi          = {10.1145/328690.328702},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Kobayashi00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/LeviS00,
  author       = {Giorgio Levi and
                  Fausto Spoto},
  editor       = {Julia L. Lawall},
  title        = {Non Pair-Sharing and Freeness Analysis Through Linear Refinement},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {52--61},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328699},
  doi          = {10.1145/328690.328699},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/LeviS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/LiuS00,
  author       = {Yanhong A. Liu and
                  Scott D. Stoller},
  editor       = {Julia L. Lawall},
  title        = {From Recursion to Iteration: What are the Optimizations?},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328700},
  doi          = {10.1145/328690.328700},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/LiuS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/MurphyL00,
  author       = {Brian R. Murphy and
                  Monica S. Lam},
  editor       = {Julia L. Lawall},
  title        = {Program Analysis with Partial Transfer Functions},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {94--103},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328703},
  doi          = {10.1145/328690.328703},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/MurphyL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/Pfenning00,
  author       = {Frank Pfenning},
  editor       = {Julia L. Lawall},
  title        = {On the Logical Foundations of Staged Computation (Abstract of Invited
                  Talk)},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {33},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328696},
  doi          = {10.1145/328690.328696},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Pfenning00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/ScholzBF00,
  author       = {Bernhard Scholz and
                  Johann Blieberger and
                  Thomas Fahringer},
  editor       = {Julia L. Lawall},
  title        = {Symbolic Pointer Analysis for Detecting Memory Leaks},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {104--113},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328704},
  doi          = {10.1145/328690.328704},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/ScholzBF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/SumiiK00,
  author       = {Eijiro Sumii and
                  Naoki Kobayashi},
  editor       = {Julia L. Lawall},
  title        = {Online-and-Offline Partial Evaluation: {A} Mixed Approach (Extended
                  Abstract)},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {12--21},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328694},
  doi          = {10.1145/328690.328694},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/SumiiK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/Taha00,
  author       = {Walid Taha},
  editor       = {Julia L. Lawall},
  title        = {A Sound Reduction Semantics for Untyped {CBN} Multi-stage Computation.
                  Or, the Theory of MetaML is Non-trivial (Extended Abstract)},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {34--43},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328697},
  doi          = {10.1145/328690.328697},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Taha00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/Walpole00,
  author       = {Jonathan Walpole},
  editor       = {Julia L. Lawall},
  title        = {Operating Systems Specialization: Experiences, Opportunities and Challenges
                  (Abstract of Invited Talk)},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {83},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328701},
  doi          = {10.1145/328690.328701},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Walpole00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pepm/2000,
  editor       = {Julia L. Lawall},
  title        = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690},
  doi          = {10.1145/328690},
  isbn         = {1-58113-201-8},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/2000.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.