Conferences in DBLP

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

1. Lars Ole Andersen, Carsten K. Gomard
   Speedup Analysis in Partial Evaluation: Preliminary Results. [Citation Graph (0, 0)][DBLP]
   PEPM, 1992, pp:1-7 [Conf]
   
2. Karoline Malmkjær
   Predicting Properties of Residual Programs. [Citation Graph (0, 0)][DBLP]
   PEPM, 1992, pp:8-13 [Conf]
   
3. Babak Dehbonei, Pierre Jouvelot
   Semantical Interprocedural Analysis by Partial Symbolic Evaluation. [Citation Graph (0, 0)][DBLP]
   PEPM, 1992, pp:14-20 [Conf]
   
4. Bernhard Rytz, Marc Gengler
   A Polyvariant Binding Time Analysis. [Citation Graph (0, 0)][DBLP]
   PEPM, 1992, pp:21-28 [Conf]
   
5. Morry Katz, Daniel Weise
   Towards a New Perspective on Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   PEPM, 1992, pp:29-37 [Conf]
   
6. Wei-Ngan Chin
   Fully Lazy Higher-Order Removal. [Citation Graph (0, 0)][DBLP]
   PEPM, 1992, pp:38-47 [Conf]
   
7. David Sherman, Robert Strandh
   Call Unfolding Strategies for Equational Logic Programs. [Citation Graph (0, 0)][DBLP]
   PEPM, 1992, pp:48-53 [Conf]
   
8. Lars Ole Andersen
   Self-applicable C Program Specialization. [Citation Graph (0, 0)][DBLP]
   PEPM, 1992, pp:54-61 [Conf]
   
9. Charles Consel, Satish Pai
   A Programming Environment for Binding-time Based Partial Evaluators. [Citation Graph (0, 0)][DBLP]
   PEPM, 1992, pp:62-66 [Conf]
   
10. Erik Ruf, Daniel Weise
    Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. [Citation Graph (0, 0)][DBLP]
    PEPM, 1992, pp:67-74 [Conf]
    
11. Thomas Cheatham, Dan C. Stefanescu
    A Suite of Optimizers Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1992, pp:75-81 [Conf]
    
12. Sheila Harnett, Margaret Montenyohl
    Towards Efficient Compilation of a Dynamic Object-Oriented Language. [Citation Graph (0, 0)][DBLP]
    PEPM, 1992, pp:82-89 [Conf]
    
13. C. T. P. Burton
    Program Transformation by Derivor Manipulations. [Citation Graph (0, 0)][DBLP]
    PEPM, 1992, pp:90-97 [Conf]
    
14. John Field
    A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. [Citation Graph (0, 0)][DBLP]
    PEPM, 1992, pp:98-107 [Conf]
    
15. Khaled Bsaïes
    A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. [Citation Graph (0, 0)][DBLP]
    PEPM, 1992, pp:108-115 [Conf]
    
16. Torben Æ. Mogensen
    Self-applicable Partial Evaluation for Pure Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    PEPM, 1992, pp:116-121 [Conf]