David A. Schmidt
Proceedings of the Third Symposium on Partial Evaluation and Semantics-Based Program Manipulation
PEPM, 1993.

@proceedings{PEPM-1993,
	acmid         = "154630",
	address       = "Copenhagen, Denmark",
	editor        = "David A. Schmidt",
	isbn          = "0-89791-594-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Third Symposium on Partial Evaluation and Semantics-Based Program Manipulation}",
	year          = 1993,
}

Contents (21 items)

7 ×#analysis
5 ×#partial evaluation
3 ×#source code
2 ×#abstract interpretation
2 ×#higher-order
2 ×#performance
2 ×#towards
2 ×#using

PEPM-1993-Hannan #semantics

Searching For Semantics (JH), pp. 1–12.

PEPM-1993-Mossin #parsing #partial evaluation

Partial Evaluation of General Parsers (CM), pp. 13–21.

PEPM-1993-Mogensen

Constructor Spezialization (TÆM), pp. 22–32.

PEPM-1993-Malmkjaer #partial evaluation #performance #towards

Towards Efficient Partial Evaluation (KM), pp. 33–43.

PEPM-1993-ConselPW #composition #incremental #operating system #partial evaluation #performance

Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems (CC, CP, JW), pp. 44–46.

PEPM-1993-Andersen #analysis #c #pointer

Binding-Time Analysis and the Taming of C Pointers (LOA), pp. 47–58.

PEPM-1993-Bulyonkov #analysis

Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer (MAB), pp. 59–65.

PEPM-1993-Consel #analysis

Polyvariant Binding-Time Analysis For Applicative Languages (CC), pp. 66–77.

PEPM-1993-Davis #analysis #higher-order

Higher-order Binding-time Analysis (KD), pp. 78–87.

PEPM-1993-Gallagher #logic programming #source code #tutorial

Tutorial on Specialisation of Logic Programs (JPG), pp. 88–98.

PEPM-1993-CharlierH #analysis #evaluation #implementation #prolog

Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop (BLC, PVH), pp. 99–110.

PEPM-1993-Prestwich #deduction #online #scalability #source code

Online Partial Deduction of Large Programs (SDP), pp. 111–118.

PEPM-1993-Chin #automation #towards

Towards an Automated Tupling Strategy (WNC), pp. 119–132.

PEPM-1993-Thiemann #analysis #functional #safety #source code

A Safety Analysis for Functional Programs (PT), pp. 133–144.

PEPM-1993-Consel93a #higher-order #partial evaluation

A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages (CC), pp. 145–154.

PEPM-1993-Lawall #induction #partial evaluation #proving #using

Proofs by Structural Induction using Partial Evaluation (JLL), pp. 155–166.

PEPM-1993-Lange #code generation #correctness

The Correctness of an Optimized Code Generation (TPL), pp. 167–178.

PEPM-1993-Mycroft #abstract interpretation

Completeness and predicate-based abstract interpretation (AM), pp. 179–185.

PEPM-1993-Seward #analysis #polymorphism #strict #using

Polymorphic Strictness Analysis using Frontiers (JS), pp. 186–193.

PEPM-1993-CodishMBBH #abstract interpretation

Improving Abstract Interpretations by Combining Domains (MC, AM, MB, MJGdlB, MVH), pp. 194–205.

PEPM-1993-Vasell #data flow #graph

A Partial Evaluator for Data Flow Graphs (JV), pp. 206–215.