| 1992 | A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. Khaled Bsaïes |
| 1992 | A Polyvariant Binding Time Analysis. Bernhard Rytz, Marc Gengler |
| 1992 | A Programming Environment for Binding-time Based Partial Evaluators. Charles Consel, Satish Pai |
| 1992 | A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. John Field |
| 1992 | A Suite of Optimizers Based on Abstract Interpretation. Thomas E. Cheatham, Dan C. Stefanescu |
| 1992 | Call Unfolding Strategies for Equational Logic Programs. David J. Sherman, Robert Strandh |
| 1992 | Fully Lazy Higher-Order Removal. Wei-Ngan Chin |
| 1992 | Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. Erik Ruf, Daniel Weise |
| 1992 | 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) |
| 1992 | Predicting Properties of Residual Programs. Karoline Malmkjær |
| 1992 | Program Transformation by Derivor Manipulations. C. T. P. Burton |
| 1992 | Self-applicable C Program Specialization. Lars Ole Andersen |
| 1992 | Self-applicable Partial Evaluation for Pure Lambda Calculus. Torben Æ. Mogensen |
| 1992 | Semantical Interprocedural Analysis by Partial Symbolic Evaluation. Babak Dehbonei, Pierre Jouvelot |
| 1992 | Speedup Analysis in Partial Evaluation: Preliminary Results. Lars Ole Andersen, Carsten K. Gomard |
| 1992 | Towards Efficient Compilation of a Dynamic Object-Oriented Language. Sheila Harnett, Margaret Montenyohl |
| 1992 | Towards a New Perspective on Partial Evaluation. Morry Katz, Daniel Weise |