Partial Evaluation Bibliography Home
Past Events
Journal Special Issues

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

San Diego, California, USA
June 7, 2003


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

Last modified: Monday, February 16th, 2009 6:22:13pm
HTML generated using WebIt!.