Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/pepm/AgerDR03,
  author       = {Mads Sig Ager and
                  Olivier Danvy and
                  Henning Korsholm Rohde},
  editor       = {Michael Leuschel},
  title        = {Fast partial evaluation of pattern matching in strings},
  booktitle    = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2003, San Diego, California,
                  USA, June 7, 2003},
  pages        = {3--9},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/777388.777390},
  doi          = {10.1145/777388.777390},
  timestamp    = {Fri, 25 Jun 2021 17:17:37 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/AgerDR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AllenH03,
  author       = {Matthew Allen and
                  Susan Horwitz},
  editor       = {Michael Leuschel},
  title        = {Slicing java programs that throw and catch exceptions},
  booktitle    = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2003, San Diego, California,
                  USA, June 7, 2003},
  pages        = {44--54},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/777388.777394},
  doi          = {10.1145/777388.777394},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/AllenH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AttardiCK03,
  author       = {Giuseppe Attardi and
                  Antonio Cisternino and
                  Andrew Kennedy},
  editor       = {Michael Leuschel},
  title        = {CodeBricks: code fragments as building blocks},
  booktitle    = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2003, San Diego, California,
                  USA, June 7, 2003},
  pages        = {66--74},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/777388.777396},
  doi          = {10.1145/777388.777396},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/AttardiCK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/BozgaIL03,
  author       = {Marius Bozga and
                  Radu Iosif and
                  Yassine Lakhnech},
  editor       = {Michael Leuschel},
  title        = {Storeless semantics and alias logic},
  booktitle    = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2003, San Diego, California,
                  USA, June 7, 2003},
  pages        = {55--65},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/777388.777395},
  doi          = {10.1145/777388.777395},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/BozgaIL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ChenX03,
  author       = {Chiyan Chen and
                  Hongwei Xi},
  editor       = {Michael Leuschel},
  title        = {Implementing typeful program transformations},
  booktitle    = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2003, San Diego, California,
                  USA, June 7, 2003},
  pages        = {20--28},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/777388.777392},
  doi          = {10.1145/777388.777392},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/ChenX03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ChinKX03,
  author       = {Wei{-}Ngan Chin and
                  Siau{-}Cheng Khoo and
                  Dana N. Xu},
  editor       = {Michael Leuschel},
  title        = {Extending sized type with collection analysis},
  booktitle    = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2003, San Diego, California,
                  USA, June 7, 2003},
  pages        = {75--84},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/777388.777397},
  doi          = {10.1145/777388.777397},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/ChinKX03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/GluckKH03,
  author       = {Robert Gl{\"{u}}ck and
                  Youhei Kawada and
                  Takuya Hashimoto},
  editor       = {Michael Leuschel},
  title        = {Transforming interpreters into inverse interpreters by partial evaluation},
  booktitle    = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2003, San Diego, California,
                  USA, June 7, 2003},
  pages        = {10--19},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/777388.777391},
  doi          = {10.1145/777388.777391},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/GluckKH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HatcliffDDJRR03,
  author       = {John Hatcliff and
                  William Deng and
                  Matthew B. Dwyer and
                  Georg Jung and
                  Venkatesh Prasad Ranganath and
                  Robby},
  editor       = {Michael Leuschel},
  title        = {Slicing and partial evaluation of {CORBA} component model designs
                  for avionics system},
  booktitle    = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2003, San Diego, California,
                  USA, June 7, 2003},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/777388.777389},
  doi          = {10.1145/777388.777389},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/HatcliffDDJRR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiuS03,
  author       = {Yanhong A. Liu and
                  Scott D. Stoller},
  editor       = {Michael Leuschel},
  title        = {Optimizing Ackermann's function by incrementalization},
  booktitle    = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2003, San Diego, California,
                  USA, June 7, 2003},
  pages        = {85--91},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/777388.777398},
  doi          = {10.1145/777388.777398},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/LiuS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PueblaH03,
  author       = {Germ{\'{a}}n Puebla and
                  Manuel V. Hermenegildo},
  editor       = {Michael Leuschel},
  title        = {Abstract specialization and its applications},
  booktitle    = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2003, San Diego, California,
                  USA, June 7, 2003},
  pages        = {29--43},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/777388.777393},
  doi          = {10.1145/777388.777393},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/PueblaH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2003,
  editor       = {Michael Leuschel},
  title        = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2003, San Diego, California,
                  USA, June 7, 2003},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/777388},
  doi          = {10.1145/777388},
  isbn         = {1-58113-667-6},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics