Conferences in DBLP

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

1. Sheila A. McIlraith
   Invited talk: towards declarative programming for web services. [Citation Graph (0, 0)][DBLP]
   PEPM, 2004, pp:1-2 [Conf]
   
2. Kenichi Asai
   Offline partial evaluation for shift and reset. [Citation Graph (0, 0)][DBLP]
   PEPM, 2004, pp:3-14 [Conf]
   
3. Armin Rigo
   Representation-based just-in-time specialization and the psyco prototype for python. [Citation Graph (0, 0)][DBLP]
   PEPM, 2004, pp:15-26 [Conf]
   
4. Helle Markmann Andersen, Ulrik Pagh Schultz
   Declarative specialization for object-oriented-program specialization. [Citation Graph (0, 0)][DBLP]
   PEPM, 2004, pp:27-38 [Conf]
   
5. Gustavo J. Bobeff, Jacques Noyé
   Component specialization. [Citation Graph (0, 0)][DBLP]
   PEPM, 2004, pp:39-50 [Conf]
   
6. Robert L. Akers, Ira D. Baxter, Michael Mehlich
   Invited application paper: re-engineering C++ components via automatic program transformation. [Citation Graph (0, 0)][DBLP]
   PEPM, 2004, pp:51-55 [Conf]
   
7. Gary Daugherty
   Invited application paper: a proposal for the specialization of HA/DRE systems. [Citation Graph (0, 0)][DBLP]
   PEPM, 2004, pp:56-67 [Conf]
   
8. Sam Kamin
   Invited application paper: program generation considered easy. [Citation Graph (0, 0)][DBLP]
   PEPM, 2004, pp:68-79 [Conf]
   
9. Julia L. Lawall, Gilles Muller, Hervé Duchesne
   Invited application paper: language design for implementing process scheduling hierarchies. [Citation Graph (0, 0)][DBLP]
   PEPM, 2004, pp:80-91 [Conf]
   
10. Yannis Smaragdakis, Shan Shan Huang, David Zook
    Program generators and the tools to make them. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:92-100 [Conf]
    
11. Susumu Nishimura
    Fusion with stacks and accumulating parameters. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:101-112 [Conf]
    
12. Søren Debois
    Imperative program optimization by partial evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:113-122 [Conf]
    
13. Claudio Ochoa, Josep Silva, Germán Vidal
    Dynamic slicing based on redex trails. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:123-134 [Conf]
    
14. Corneliu Popeea, Wei-Ngan Chin
    A type system for resource protocol verification and its correctness proof. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:135-146 [Conf]
    
15. Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain
    Proving termination of membership equational programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:147-158 [Conf]
    
16. Alberto Pettorossi, Maurizio Proietti
    A theory of totally correct logic program transformations. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:159-168 [Conf]
    
17. Jarle Hulaas, Walter Binder
    Program transformations for portable CPU accounting and control in Java. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:169-177 [Conf]
    
18. Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
    A programmable editor for developing structured documents based on bidirectional transformations. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:178-189 [Conf]
    
19. Steve Barker, Michael Leuschel, Mauricio Varea
    Efficient and flexible access control via logic program specialisation. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:190-199 [Conf]
    
20. Ehud Y. Shapiro
    Invited talk: injecting life with computers. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:200- [Conf]
    
21. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Invited talk: the blast query language for software verification. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:201-202 [Conf]
    
22. J. Gregory Morrisett
    Invited talk: what's the future for proof-carrying code? [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:203- [Conf]