Julia L. Lawall
Proceedings of the Seventh Workshop on Partial Evaluation and Semantics-Based Program Manipulation
PEPM, 2000.

@proceedings{PEPM-2000,
	acmid         = "328690",
	address       = "Boston, Massachusetts, USA",
	editor        = "Julia L. Lawall",
	isbn          = "1-58113-201-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Seventh Workshop on Partial Evaluation and Semantics-Based Program Manipulation}",
	year          = 2000,
}

Contents (14 items)

2 ×#analysis
2 ×#case study
2 ×#experience
2 ×#partial evaluation

PEPM-2000-Das #case study #experience #scalability #source code #static analysis

Static Analysis of Large Programs: Some Experiences (MD), p. 1.

PEPM-2000-BrauxN #java #towards

Towards Partially Evaluating Reflection in Java (MB, JN), pp. 2–11.

PEPM-2000-SumiiK #approach #partial evaluation

Online-and-Offline Partial Evaluation: A Mixed Approach (ES, NK), pp. 12–21.

PEPM-2000-GrobauerY #partial evaluation

The Second Futamura Projection for Type-Directed Partial Evaluation (BG, ZY), pp. 22–32.

PEPM-2000-Pfenning #logic #on the #staged

On the Logical Foundations of Staged Computation (FP), p. 33.

PEPM-2000-Taha #formal method #ml #multi #reduction #semantics

A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (WT), pp. 34–43.

PEPM-2000-GallagherP #approximate #using

Using Regular Approximations for Generalisation During Partial Evalution (JPG, JCP), pp. 44–51.

PEPM-2000-LeviS #analysis #linear #refinement

Non Pair-Sharing and Freeness Analysis Through Linear Refinement (GL, FS), pp. 52–61.

PEPM-2000-ChinK

Calculating Sized Types (WNC, SCK), pp. 62–72.

PEPM-2000-LiuS #optimisation #question #recursion #what

From Recursion to Iteration: What are the Optimizations? (YAL, SDS), pp. 73–82.

PEPM-2000-Walpole #case study #challenge #experience #operating system

Operating Systems Specialization: Experiences, Opportunities and Challenges (JW), p. 83.

PEPM-2000-Kobayashi #type system

Type-Based Useless Variable Elimination (NK), pp. 84–93.

PEPM-2000-MurphyL #program analysis

Program Analysis with Partial Transfer Functions (BRM, MSL), pp. 94–103.

PEPM-2000-ScholzBF #analysis #detection #memory management #pointer

Symbolic Pointer Analysis for Detecting Memory Leaks (BS, JB, TF), pp. 104–113.