The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002