Proceedings of the Fourth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (Technical Report 94/9)
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


Proceedings of the Fourth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (Technical Report 94/9)
PEPM, 1994.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{PEPM-1994,
	address       = "Orlando, Florida, USA",
	publisher     = "{University of Melbourne, Australia, Department of Computer Science}",
	title         = "{Proceedings of the Fourth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (Technical Report 94/9)}",
	year          = 1994,
}

Contents (13 items)

PEPM-1994-BondorfD #partial evaluation
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand (AB, DD), pp. 1–9.
PEPM-1994-DanvyMP #partial evaluation
The Essence of Eta-Expansion in Partial Evaluation (OD, KM, JP), pp. 11–20.
PEPM-1994-FegarasSZ #induction #multi #source code
Improving Programs Which Recurse over Multiple Inductive Structures (LF, TS, TZ), pp. 21–32.
PEPM-1994-CourtenageC #type inference #λ-calculus
Analysing Resource Use in the λ Calculus by Type Inference (SC, CDC), pp. 33–41.
PEPM-1994-Baker-Finch #higher-order #static analysis #type system
Type Theory and Projections for Higher-Order Static Analysis (CABF), pp. 43–52.
PEPM-1994-Davis #analysis
PERs from Projections for Binding-Time Analysis (KD), pp. 53–60.
PEPM-1994-BirkedalW #analysis #ml #standard
Binding-Time Analysis for Standard ML (LB, MW), pp. 61–71.
PEPM-1994-Thiemann #higher-order
Higher-Order Redundancy Elimination (PT), pp. 73–83.
PEPM-1994-DeanCG #identification #object-oriented
Identifying Profitable Specialization in Object-Oriented Languages (JD, CC, DG), pp. 85–96.
PEPM-1994-LeoneL #code generation #lightweight #runtime
Lightweight Run-Time Code Generation (ML, PL), pp. 97–106.
PEPM-1994-Jones #partial evaluation
Dictionary-Free Overloading by Partial Evaluation (MPJ), pp. 107–117.
PEPM-1994-BaierGZ #fortran #partial evaluation #source code
Partial Evaluation of Numerical Programs in Fortran (RB, RG, RZ), pp. 119–132.
PEPM-1994-BerlinS #experience #partial evaluation #tool support
Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience (AAB, RJS), pp. 133–141.

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.