• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 17 matches

• 1992
• 
  Lars Ole Andersen:
  Self-applicable C Program Specialization. PEPM 1992: 54-61
• 
  Lars Ole Andersen, Carsten K. Gomard:
  Speedup Analysis in Partial Evaluation: Preliminary Results. PEPM 1992: 1-7
• 
  Khaled Bsaïes:
  A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. PEPM 1992: 108-115
• 
  C. T. P. Burton:
  Program Transformation by Derivor Manipulations. PEPM 1992: 90-97
• 
  Thomas E. Cheatham, Dan C. Stefanescu:
  A Suite of Optimizers Based on Abstract Interpretation. PEPM 1992: 75-81
• 
  Wei-Ngan Chin:
  Fully Lazy Higher-Order Removal. PEPM 1992: 38-47
• 
  Charles Consel, Satish Pai:
  A Programming Environment for Binding-time Based Partial Evaluators. PEPM 1992: 62-66
• 
  Babak Dehbonei, Pierre Jouvelot:
  Semantical Interprocedural Analysis by Partial Symbolic Evaluation. PEPM 1992: 14-20
• 
  John Field:
  A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. PEPM 1992: 98-107
• 
  Sheila Harnett, Margaret Montenyohl:
  Towards Efficient Compilation of a Dynamic Object-Oriented Language. PEPM 1992: 82-89
• 
  Morry Katz, Daniel Weise:
  Towards a New Perspective on Partial Evaluation. PEPM 1992: 29-37
• 
  Karoline Malmkjær:
  Predicting Properties of Residual Programs. PEPM 1992: 8-13
• 
  Torben Æ. Mogensen:
  Self-applicable Partial Evaluation for Pure Lambda Calculus. PEPM 1992: 116-121
• 
  Erik Ruf, Daniel Weise:
  Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. PEPM 1992: 67-74
• 
  Bernhard Rytz, Marc Gengler:
  A Polyvariant Binding Time Analysis. PEPM 1992: 21-28
• 
  David J. Sherman, Robert Strandh:
  Call Unfolding Strategies for Equational Logic Programs. PEPM 1992: 48-53
• 
  PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings (TR YALEU/DCS/RR-909). Yale University 1992 [contents]