The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. John Hannan
    Searching For Semantics. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:1-12 [Conf]
  2. Christian Mossin
    Partial Evaluation of General Parsers. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:13-21 [Conf]
  3. Torben Æ. Mogensen
    Constructor Spezialization. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:22-32 [Conf]
  4. Karoline Malmkjær
    Towards Efficient Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:33-43 [Conf]
  5. Charles Consel, Calton Pu, Jonathan Walpole
    Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:44-46 [Conf]
  6. Lars Ole Andersen
    Binding-Time Analysis and the Taming of C Pointers. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:47-58 [Conf]
  7. Mikhail A. Bulyonkov
    Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:59-65 [Conf]
  8. Charles Consel
    Polyvariant Binding-Time Analysis For Applicative Languages. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:66-77 [Conf]
  9. Kei Davis
    Higher-order Binding-time Analysis. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:78-87 [Conf]
  10. John P. Gallagher
    Tutorial on Specialisation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:88-98 [Conf]
  11. Baudouin Le Charlier, Pascal Van Hentenryck
    Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:99-110 [Conf]
  12. Steven David Prestwich
    Online Partial Deduction of Large Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:111-118 [Conf]
  13. Wei-Ngan Chin
    Towards an Automated Tupling Strategy. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:119-132 [Conf]
  14. Peter Thiemann
    A Safety Analysis for Functional Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:133-144 [Conf]
  15. Charles Consel
    A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:145-154 [Conf]
  16. Julia L. Lawall
    Proofs by Structural Induction using Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:155-166 [Conf]
  17. Torben Poort Lange
    The Correctness of an Optimized Code Generation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:167-178 [Conf]
  18. Alan Mycroft
    Completeness and predicate-based abstract interpretation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:179-185 [Conf]
  19. Julian Seward
    Polymorphic Strictness Analysis using Frontiers. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:186-193 [Conf]
  20. Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
    Improving Abstract Interpretations by Combining Domains. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:194-205 [Conf]
  21. Jesper Vasell
    A Partial Evaluator for Data Flow Graphs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:206-215 [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