Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003. ACM, 2003.

Conference: PEPM2003

Abstract is missing.

Slicing and partial evaluation of CORBA component model designs for avionics systemJohn Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby. 1-2 [doi]

Fast partial evaluation of pattern matching in stringsMads Sig Ager, Olivier Danvy, Henning Korsholm Rohde. 3-9 [doi]

Transforming interpreters into inverse interpreters by partial evaluationRobert Glück, Youhei Kawada, Takuya Hashimoto. 10-19 [doi]

Implementing typeful program transformationsChiyan Chen, Hongwei Xi. 20-28 [doi]

Abstract specialization and its applicationsGermán Puebla, Manuel V. Hermenegildo. 29-43 [doi]

Slicing java programs that throw and catch exceptionsMatthew Allen, Susan Horwitz. 44-54 [doi]

Storeless semantics and alias logicMarius Bozga, Radu Iosif, Yassine Lakhnech. 55-65 [doi]

CodeBricks: code fragments as building blocksGiuseppe Attardi, Antonio Cisternino, Andrew Kennedy. 66-74 [doi]

Extending sized type with collection analysisWei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu. 75-84 [doi]

Optimizing Ackermann s function by incrementalizationYanhong A. Liu, Scott D. Stoller. 85-91 [doi]

runs on WebDSL