|
Conferences in DBLP
- 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]
- 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]
- 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]
- Chiyan Chen, Hongwei Xi
Implementing typeful program transformations. [Citation Graph (0, 0)][DBLP] PEPM, 2003, pp:20-28 [Conf]
- Germán Puebla, Manuel V. Hermenegildo
Abstract specialization and its applications. [Citation Graph (0, 0)][DBLP] PEPM, 2003, pp:29-43 [Conf]
- Matthew Allen, Susan Horwitz
Slicing java programs that throw and catch exceptions. [Citation Graph (0, 0)][DBLP] PEPM, 2003, pp:44-54 [Conf]
- Marius Bozga, Radu Iosif, Yassine Lakhnech
Storeless semantics and alias logic. [Citation Graph (0, 0)][DBLP] PEPM, 2003, pp:55-65 [Conf]
- Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy
CodeBricks: code fragments as building blocks. [Citation Graph (0, 0)][DBLP] PEPM, 2003, pp:66-74 [Conf]
- 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]
- Yanhong A. Liu, Scott D. Stoller
Optimizing Ackermann's function by incrementalization. [Citation Graph (0, 0)][DBLP] PEPM, 2003, pp:85-91 [Conf]
|