The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Rogardt Heldal, John Hughes
    Partial Evaluation and Separate Compilation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:1-11 [Conf]
  2. Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa
    Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:12-21 [Conf]
  3. Tim Sheard
    A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:22-35 [Conf]
  4. Marc Gengler, Matthieu Martel
    Self-Applicable Partial Evaluation for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:36-46 [Conf]
  5. Mihnea Marinescu, Benjamin Goldberg
    Partial-Evaluation Techniques for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:47-62 [Conf]
  6. Luke Hornof, Jacques Noyé
    Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:63-73 [Conf]
  7. David Melski, Thomas W. Reps
    Interconveritibility of Set Constraints and Context-Free Language Reachability. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:74-89 [Conf]
  8. Olivier Danvy, Ulrik Pagh Schultz
    Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:90-106 [Conf]
  9. Clifford Beshers, Steven Feiner
    Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:107-115 [Conf]
  10. Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet
    Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:116-126 [Conf]
  11. Lennart Augustsson
    Partial Evaluation in Aircraft Crew Planning. [Citation Graph (1, 0)][DBLP]
    PEPM, 1997, pp:127-136 [Conf]
  12. Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori
    A Transformation System for CLP with Dynamic Scheduling and CCP. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:137-150 [Conf]
  13. María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
    Specialization of Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:151-162 [Conf]
  14. Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers
    Annotation-Directed Run-Time Specialization in C. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:163-178 [Conf]
  15. Saumya K. Debray
    Resource-Bounded Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:179-192 [Conf]
  16. Flemming Nielson, Hanne Riis Nielson
    Prescriptive Frameworks for Multi-Level Lambda-Calculi. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:193-202 [Conf]
  17. Walid Taha, Tim Sheard
    Multi-Stage Programming with Explicit Annotations. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:203-217 [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