The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (pepm)
2003 (conf/pepm/2003)

  1. 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. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:1-2 [Conf]
  2. Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
    Fast partial evaluation of pattern matching in strings. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:3-9 [Conf]
  3. Robert Glück, Youhei Kawada, Takuya Hashimoto
    Transforming interpreters into inverse interpreters by partial evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:10-19 [Conf]
  4. Chiyan Chen, Hongwei Xi
    Implementing typeful program transformations. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:20-28 [Conf]
  5. Germán Puebla, Manuel V. Hermenegildo
    Abstract specialization and its applications. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:29-43 [Conf]
  6. Matthew Allen, Susan Horwitz
    Slicing java programs that throw and catch exceptions. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:44-54 [Conf]
  7. Marius Bozga, Radu Iosif, Yassine Lakhnech
    Storeless semantics and alias logic. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:55-65 [Conf]
  8. Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy
    CodeBricks: code fragments as building blocks. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:66-74 [Conf]
  9. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
    Extending sized type with collection analysis. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:75-84 [Conf]
  10. Yanhong A. Liu, Scott D. Stoller
    Optimizing Ackermann's function by incrementalization. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:85-91 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002