default search action
Search dblp for Publications
export results for "toc:db/conf/pepm/pepm2000.bht:"
@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} }
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.