Proceedings of the Fourth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (Technical Report 94/9)
PEPM, 1994.

@proceedings{PEPM-1994,
	address       = "Orlando, Florida, USA",
	publisher     = "{University of Melbourne, Australia, Department of Computer Science}",
	title         = "{Proceedings of the Fourth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (Technical Report 94/9)}",
	year          = 1994,
}

Contents (13 items)

5 ×#partial evaluation
2 ×#analysis
2 ×#higher-order
2 ×#source code

PEPM-1994-BondorfD #partial evaluation

Improving CPS-Based Partial Evaluation: Writing Cogen by Hand (AB, DD), pp. 1–9.

PEPM-1994-DanvyMP #partial evaluation

The Essence of Eta-Expansion in Partial Evaluation (OD, KM, JP), pp. 11–20.

PEPM-1994-FegarasSZ #induction #multi #source code

Improving Programs Which Recurse over Multiple Inductive Structures (LF, TS, TZ), pp. 21–32.

PEPM-1994-CourtenageC #type inference #λ-calculus

Analysing Resource Use in the λ Calculus by Type Inference (SC, CDC), pp. 33–41.

PEPM-1994-Baker-Finch #higher-order #static analysis #type system

Type Theory and Projections for Higher-Order Static Analysis (CABF), pp. 43–52.

PEPM-1994-Davis #analysis

PERs from Projections for Binding-Time Analysis (KD), pp. 53–60.

PEPM-1994-BirkedalW #analysis #ml #standard

Binding-Time Analysis for Standard ML (LB, MW), pp. 61–71.

PEPM-1994-Thiemann #higher-order

Higher-Order Redundancy Elimination (PT), pp. 73–83.

PEPM-1994-DeanCG #identification #object-oriented

Identifying Profitable Specialization in Object-Oriented Languages (JD, CC, DG), pp. 85–96.

PEPM-1994-LeoneL #code generation #lightweight #runtime

Lightweight Run-Time Code Generation (ML, PL), pp. 97–106.

PEPM-1994-Jones #partial evaluation

Dictionary-Free Overloading by Partial Evaluation (MPJ), pp. 107–117.

PEPM-1994-BaierGZ #fortran #partial evaluation #source code

Partial Evaluation of Numerical Programs in Fortran (RB, RG, RZ), pp. 119–132.

PEPM-1994-BerlinS #experience #partial evaluation #tool support

Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience (AAB, RJS), pp. 133–141.