PEPM 2003: San Diego, California, USA

@proceedings{DBLP:conf/pepm/2003,
  title     = {Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation
               and Semantics-based Program Manipulation, 2003, San Diego, California,
               USA, June 7, 2003},
  booktitle = {PEPM},
  publisher = {ACM},
  year      = {2003},
  isbn      = {1-58113-667-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby:
  Slicing and partial evaluation of CORBA component model designs for avionics system. 1-2
  Electronic Edition (ACM DL) BibTeX
• Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde:
  Fast partial evaluation of pattern matching in strings. 3-9
  Electronic Edition (ACM DL) BibTeX
• Robert Glück, Youhei Kawada, Takuya Hashimoto:
  Transforming interpreters into inverse interpreters by partial evaluation. 10-19
  Electronic Edition (ACM DL) BibTeX
• Chiyan Chen, Hongwei Xi:
  Implementing typeful program transformations. 20-28
  Electronic Edition (ACM DL) BibTeX
• Germán Puebla, Manuel V. Hermenegildo:
  Abstract specialization and its applications. 29-43
  Electronic Edition (ACM DL) BibTeX
• Matthew Allen, Susan Horwitz:
  Slicing java programs that throw and catch exceptions. 44-54
  Electronic Edition (ACM DL) BibTeX
• Marius Bozga, Radu Iosif, Yassine Lakhnech:
  Storeless semantics and alias logic. 55-65
  Electronic Edition (ACM DL) BibTeX
• Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy:
  CodeBricks: code fragments as building blocks. 66-74
  Electronic Edition (ACM DL) BibTeX
• Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu:
  Extending sized type with collection analysis. 75-84
  Electronic Edition (ACM DL) BibTeX
• Yanhong A. Liu, Scott D. Stoller:
  Optimizing Ackermann's function by incrementalization. 85-91
  Electronic Edition (ACM DL) BibTeX