Conferences in DBLP

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

1. Thomas W. Reps
   Shape Analysis as a Generalized Path Problem. [Citation Graph (0, 0)][DBLP]
   PEPM, 1995, pp:1-11 [Conf]
   
2. C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
   A Symbolic Constraint Solving Framework for Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
   PEPM, 1995, pp:12-23 [Conf]
   
3. Neil D. Jones
   Special Address: MIX ten years after. [Citation Graph (0, 0)][DBLP]
   PEPM, 1995, pp:24-38 [Conf]
   
4. Torben Æ. Mogensen
   Self-applicable Online Partial Evaluation of Pure Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   PEPM, 1995, pp:39-44 [Conf]
   
5. Yan Mei Tang, Pierre Jouvelot
   Effect Systems with Subtyping. [Citation Graph (0, 0)][DBLP]
   PEPM, 1995, pp:45-53 [Conf]
   
6. Dirk Dussart, Eddy Bevers, Karel De Vlaminck
   Polyvariant Constructor Specialisation. [Citation Graph (0, 0)][DBLP]
   PEPM, 1995, pp:54-65 [Conf]
   
7. Karoline Malmkjær, Peter Ørbæk
   Polyvariant Specialisation for Higher-Order, Block-Structured Languages. [Citation Graph (0, 0)][DBLP]
   PEPM, 1995, pp:66-76 [Conf]
   
8. Germán Puebla, Manuel V. Hermenegildo
   Implementation of Multiple Specialization in Logic Programs. [Citation Graph (0, 0)][DBLP]
   PEPM, 1995, pp:77-87 [Conf]
   
9. Daniel Le Métayer
   Proving Properties of Programs Defined over Recursive Data Structures. [Citation Graph (0, 0)][DBLP]
   PEPM, 1995, pp:88-99 [Conf]
   
10. Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck
    Semantic Foundations of Binding Time Analysis for Imperative Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:100-110 [Conf]
    
11. Saumya K. Debray
    Abstract Interpretation and Low-Level Code Optimization. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:111-121 [Conf]
    
12. Bruno Monsuez
    Using Abstract Interpretation to Define a Strictness Type Inference System. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:122-133 [Conf]
    
13. Eric Goubault
    Schedulers as Abstract Interpreter of Higher Dimensional Automata. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:134-145 [Conf]
    
14. Michael Sperber, Peter Thiemann
    The Essence of LR Parsing. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:146-155 [Conf]
    
15. Thomas P. Jensen
    Clock Analysis of Synchronous Dataflow Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:156-167 [Conf]
    
16. Sandro Etalle, Maurizio Gabbrielli
    The Replacement Operation for CLP Modules. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:168-177 [Conf]
    
17. David Sands
    Higher Order Expression Procedures. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:178-189 [Conf]
    
18. Yanhong A. Liu, Tim Teitelbaum
    Caching Intermediate Results for Program Improvement. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:190-201 [Conf]
    
19. Christopher Colby
    Analyzing the Communication Topology of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:202-213 [Conf]
    
20. Régis Cridlig
    Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:214-225 [Conf]
    
21. Alain Deutsch
    An Overview of Semantic Models and Static Analysis Techniques for Inductive Data Structures and Pointers. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:226-229 [Conf]
    
22. Kyung-Goo Doh
    Action Transformation by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:230-240 [Conf]
    
23. Lunjin Lu
    Type Analysis of Logic Programs in the Presence of Type Definitions. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:241-252 [Conf]
    
24. Michael Leuschel, Danny De Schreye
    Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:253-263 [Conf]