ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM 2003)

San Diego, California, USA
June 7, 2003

Program

John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath and Robby
"Slicing and partial evaluation of CORBA component model designs for avionics system"
ACM Digital Library

Mads Sig Ager, Olivier Danvy and Henning Korsholm Rohde
"Fast partial evaluation of pattern matching in strings"
ACM Digital Library

Robert Glück, Youhei Kawada and Takuya Hashimoto
"Transforming interpreters into inverse interpreters by partial evaluation"
ACM Digital Library

Chiyan Chen and Hongwei Xi
"Implementing typeful program transformations"
ACM Digital Library

German Puebla and Manuel V. Hermenegildo
"Abstract specialization and its applications"
ACM Digital Library

Matthew Allen and Susan Horwitz
"Slicing Java programs that throw and catch exceptions"
ACM Digital Library

Marius Bozga, Radu Iosif and Yassine Lakhnech
"Storeless semantics and alias logic"
ACM Digital Library

Giuseppe Attardi, Antonio Cisternino and Andrew Kennedy
"CodeBricks: code fragments as building blocks"
ACM Digital Library

Wei-Ngan Chin, Siau-Cheng Khoo and Dana N. Xu
"Extending sized type with collection analysis"
ACM Digital Library

Yanhong A. Liu and Scott D. Stoller
"Optimizing Ackermann's function by incrementalization"
ACM Digital Library