*Proceedings of the Second Workshop on Partial Evaluation and Semantics-Based Program Manipulation (TR YALEU/DCS/RR-909)*

PEPM, 1992.

```
@proceedings{PEPM-1992,
address = "San Francisco, California, USA",
publisher = "{Yale University}",
title = "{Proceedings of the Second Workshop on Partial Evaluation and Semantics-Based Program Manipulation (TR YALEU/DCS/RR-909)}",
year = 1992,
}
```

### Contents (16 items)

- PEPM-1992-AndersenG #analysis #partial evaluation
- Speedup Analysis in Partial Evaluation: Preliminary Results (LOA, CKG), pp. 1–7.
- PEPM-1992-Malmkjaer #predict #source code
- Predicting Properties of Residual Programs (KM), pp. 8–13.
- PEPM-1992-DehboneiJ #analysis #evaluation #interprocedural #semantics #symbolic computation
- Semantical Interprocedural Analysis by Partial Symbolic Evaluation (BD, PJ), pp. 14–20.
- PEPM-1992-RytzG #analysis
- A Polyvariant Binding Time Analysis (BR, MG), pp. 21–28.
- PEPM-1992-KatzW #partial evaluation #towards
- Towards a New Perspective on Partial Evaluation (MK, DW), pp. 29–37.
- PEPM-1992-Chin #higher-order #lazy evaluation
- Fully Lazy Higher-Order Removal (WNC), pp. 38–47.
- PEPM-1992-ShermanS #equation #logic programming #source code
- Call Unfolding Strategies for Equational Logic Programs (DS, RS), pp. 48–53.
- PEPM-1992-Andersen #c #self
- Self-applicable C Program Specialization (LOA), pp. 54–61.
- PEPM-1992-ConselP #programming
- A Programming Environment for Binding-time Based Partial Evaluators (CC, SP), pp. 62–66.
- PEPM-1992-RufW #analysis #control flow #higher-order #using
- Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis (ER, DW), pp. 67–74.
- PEPM-1992-CheathamS #abstract interpretation
- A Suite of Optimizers Based on Abstract Interpretation (TC, DCS), pp. 75–81.
- PEPM-1992-HarnettM #compilation #object-oriented #performance #towards
- Towards Efficient Compilation of a Dynamic Object-Oriented Language (SH, MM), pp. 82–89.
- PEPM-1992-Burton #program transformation
- Program Transformation by Derivor Manipulations (CTPB), pp. 90–97.
- PEPM-1992-Field #imperative #program analysis #semantics #source code
- A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis (JF), pp. 98–107.
- PEPM-1992-Bsaies #framework #logic programming #program transformation #synthesis
- A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties (KB), pp. 108–115.
- PEPM-1992-Mogensen #partial evaluation #self #λ-calculus
- Self-applicable Partial Evaluation for Pure λ Calculus (TÆM), pp. 116–121.

4 ×#analysis

3 ×#partial evaluation

3 ×#source code

2 ×#higher-order

2 ×#logic programming

2 ×#program transformation

2 ×#self

2 ×#semantics

2 ×#towards

3 ×#partial evaluation

3 ×#source code

2 ×#higher-order

2 ×#logic programming

2 ×#program transformation

2 ×#self

2 ×#semantics

2 ×#towards