Proceedings of the Third Symposium on Partial Evaluation and Semantics-Based Program Manipulation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.