John P. Gallagher, Charles Consel, A. Michael Berman
Proceedings of the Fifth Symposium on Partial Evaluation and Semantics-Based Program Manipulation
PEPM, 1997.

@proceedings{PEPM-1997,
	acmid         = "258993",
	address       = "Amsterdam, The Netherlands",
	editor        = "John P. Gallagher and Charles Consel and A. Michael Berman",
	isbn          = "0-89791-917-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Fifth Symposium on Partial Evaluation and Semantics-Based Program Manipulation}",
	year          = 1997,
}

Contents (17 items)

7 ×#partial evaluation
3 ×#source code
3 ×#λ-calculus
2 ×#compilation
2 ×#multi

PEPM-1997-HeldalH #compilation #partial evaluation

Partial Evaluation and Separate Compilation (RH, JH), pp. 1–11.

PEPM-1997-AsaiMY #call-by #partial evaluation #λ-calculus

Partial Evaluation of Call-by-Value λ-Calculus with Side-Effects (KA, HM, AY), pp. 12–21.

PEPM-1997-Sheard #online #polymorphism

A Type-directed, On-line, Partial Evaluator for a Polymorphic Language (TS), pp. 22–35.

PEPM-1997-GenglerM #partial evaluation #self #π-calculus

Self-Applicable Partial Evaluation for the π-Calculus (MG, MM), pp. 36–46.

PEPM-1997-MarinescuG #concurrent #source code

Partial-Evaluation Techniques for Concurrent Programs (MM, BG), pp. 47–62.

PEPM-1997-HornofN #analysis #imperative

Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity (LH, JN), pp. 63–73.

PEPM-1997-MelskiR #constraints #context-free grammar #reachability #set

Interconveritibility of Set Constraints and Context-Free Language Reachability (DM, TWR), pp. 74–89.

PEPM-1997-DanvyS #equation #named #recursion #source code #λ-calculus

λ-Dropping: Transforming Recursive Equations into Programs with Block Structure (OD, UPS), pp. 90–106.

PEPM-1997-BeshersF #compilation #generative #partial evaluation #performance #using #visualisation

Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation (CB, SF), pp. 107–115.

PEPM-1997-MullerVM #optimisation #partial evaluation #protocol #scalability

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol (GM, ENV, RM), pp. 116–126.

PEPM-1997-Augustsson #partial evaluation

Partial Evaluation in Aircraft Crew Planning (LA), pp. 127–136.

PEPM-1997-EtalleGM #scheduling

A Transformation System for CLP with Dynamic Scheduling and CCP (SE, MG, EM), pp. 137–150.

PEPM-1997-AlpuenteFJV #functional #lazy evaluation #logic programming #source code

Specialization of Lazy Functional Logic Programs (MA, MF, PJI, GV), pp. 151–162.

PEPM-1997-GrantMPCE #c #runtime

Annotation-Directed Run-Time Specialization in C (BG, MM, MP, CC, SJE), pp. 163–178.

PEPM-1997-Debray #bound #partial evaluation

Resource-Bounded Partial Evaluation (SKD), pp. 179–192.

PEPM-1997-NielsonN #framework #multi #λ-calculus

Prescriptive Frameworks for Multi-Level λ-Calculi (FN, HRN), pp. 193–202.

PEPM-1997-TahaS #multi #programming

Multi-Stage Programming with Explicit Annotations (WT, TS), pp. 203–217.