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)

4 ×#analysis
3 ×#partial evaluation
3 ×#source code
2 ×#higher-order
2 ×#logic programming
2 ×#program transformation
2 ×#self
2 ×#semantics
2 ×#towards

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.