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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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 = {Sat, 19 Oct 2019 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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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 = {Sat, 19 Oct 2019 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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  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       = {http://dl.acm.org/citation.cfm?id=328690},
  isbn      = {1-58113-201-8},
  timestamp = {Tue, 22 May 2012 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