Charles Consel, Olivier Danvy
Proceedings of the First Workshop on Partial Evaluation and Semantics-Based Program Manipulation
PEPM, 1991.

@proceedings{PEPM-1991,
	acmid         = "115865",
	address       = "New Haven, Connecticut, USA",
	editor        = "Charles Consel and Olivier Danvy",
	isbn          = "0-89791-433-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the First Workshop on Partial Evaluation and Semantics-Based Program Manipulation}",
	year          = 1991,
}

Contents (29 items)

8 ×#partial evaluation
5 ×#analysis
5 ×#using
3 ×#compilation
3 ×#functional
3 ×#semantics
3 ×#source code
2 ×#abstract interpretation
2 ×#equation
2 ×#lazy evaluation

PEPM-1991-Takano #functional #lazy evaluation

Generalized Partial Computation for a Lazy Functional Language (AT), pp. 1–11.

PEPM-1991-Romanenko

Inversion and Metacomputation (AR), pp. 12–22.

PEPM-1991-Sahlin #analysis #prolog

Determinacy Analysis for Full Prolog (DS), pp. 23–30.

PEPM-1991-Lisper #algorithm #detection #partial evaluation

Detecting Static Algorithms by Partial Evaluation (BL), pp. 31–42.

PEPM-1991-HickeyS #partial evaluation #towards

Toward the Partial Evaluation of CLP Languages (TJH, DAS), pp. 43–51.

PEPM-1991-CortesiF #abstract domain #abstract interpretation #analysis #logic programming #source code

Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis (AC, GF), pp. 52–61.

PEPM-1991-Smith #constraints #logic programming #partial evaluation #pattern matching #programming language

Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages (DAS), pp. 62–71.

PEPM-1991-ShermanSD #equation #optimisation #partial evaluation #source code #using

Optimization of Equational Programs Using Partial Evaluation (DS, RS, ID), pp. 72–82.

PEPM-1991-Sundaresh #incremental #partial evaluation #source code #using

Building Incremental Programs using Partial Evaluation (RSS), pp. 83–93.

PEPM-1991-Meyer #imperative #partial evaluation

Techniques for Partial Evaluation of Imperative Languages (UM), pp. 94–105.

PEPM-1991-McNerney #abstract interpretation #compilation #correctness #using #verification

Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation (TSM), pp. 106–115.

PEPM-1991-AriolaA #approach #program transformation

A Syntactic Approach to Program Transformations (ZMA, A), pp. 116–129.

PEPM-1991-Hannan #automaton #staging

Staging Transformations for Abstract Machines (JH), pp. 130–141.

PEPM-1991-NielBV #functional #polymorphism

Program Bifurcation for a Polymorphic Typed Functional Language (ADN, EB, KDV), pp. 142–153.

PEPM-1991-HuntS #analysis #perspective

Binding Time Analysis: A New PERspective (SH, DS), pp. 154–165.

PEPM-1991-GomardS

Globalization and Live Variables (CKG, PS), pp. 166–177.

PEPM-1991-ParkG #analysis #optimisation

Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References (YGP, BG), pp. 178–189.

PEPM-1991-Shivers #analysis #control flow #semantics

The Semantics of Scheme Control-Flow Analysis (OS), pp. 190–198.

PEPM-1991-Klimov #functional

Dynamic Specialization in Extended Functional Language with Monotone Objects (AVK), pp. 199–210.

PEPM-1991-KhooS #compilation #inheritance #partial evaluation #using

Compiling Inheritance using Partial Evaluation (SCK, RSS), pp. 211–222.

PEPM-1991-HolstG #lazy evaluation #partial evaluation

Partial Evaluation is Fuller Laziness (CKH, CKG), pp. 223–233.

PEPM-1991-Muller #equation #logic #named #semantics

M-LISP: Its Natural Semantics and Equational Logic (RM), pp. 234–242.

PEPM-1991-Hansen

Properties of Unfolding-based Meta-level Systems (TAH), pp. 243–254.

PEPM-1991-Wadler #linear #logic #question

Is There a Use for Linear Logic? (PW), pp. 255–273.

PEPM-1991-ProiettiP #prolog #semantics

Semantics Preserving Transformation Rules for Prolog (MP, AP), pp. 274–284.

PEPM-1991-MichaylovP #compilation #polymorphism #λ-calculus

Compiling the Polymorphic λ-Calculus (SM, FP), pp. 285–296.

PEPM-1991-MasonT #component #configuration management #program transformation

Program Transformations for Configuring Components (IAM, CLT), pp. 297–308.

PEPM-1991-Gluck #multi #self #towards

Towards Multiple Self-Application (RG), pp. 309–320.

PEPM-1991-RufW #using

Using Types to Avoid Redundant Specialization (ER, DW), pp. 321–333.