ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM 2003)San Diego, California, USA
June 7, 2003
ProgramJohn 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 LibraryMads Sig Ager, Olivier Danvy and Henning Korsholm Rohde
"Fast partial evaluation of pattern matching in strings"
ACM Digital LibraryRobert Glück, Youhei Kawada and Takuya Hashimoto
"Transforming interpreters into inverse interpreters by partial evaluation"
ACM Digital LibraryChiyan Chen and Hongwei Xi
"Implementing typeful program transformations"
ACM Digital LibraryGerman Puebla and Manuel V. Hermenegildo
"Abstract specialization and its applications"
ACM Digital LibraryMatthew Allen and Susan Horwitz
"Slicing Java programs that throw and catch exceptions"
ACM Digital LibraryMarius Bozga, Radu Iosif and Yassine Lakhnech
"Storeless semantics and alias logic"
ACM Digital LibraryGiuseppe Attardi, Antonio Cisternino and Andrew Kennedy
"CodeBricks: code fragments as building blocks"
ACM Digital LibraryWei-Ngan Chin, Siau-Cheng Khoo and Dana N. Xu
"Extending sized type with collection analysis"
ACM Digital LibraryYanhong 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!.