ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '94)Walt Disney World Vilage, Orlando, Florida, USA
June 25, 1994
Partial Evaluation, TransformationAnders Bondorf and Dirk Dussart
"Improving CPS-Based Partial Evaluation: Writing Cogen by Hand"
ps pdfOlivier Danvy, Karoline MalmkjŠr and Jens Palsberg
"The Essence of Eta-Expansion in Partial Evaluation"
ps pdfLeonidas Fegaras, Tim Sheard and Tong Zhou
"Improving Programs Which Recurse over Multiple Inductive Structures"
Program Analyses - TheorySimon A. Courtenage and Chris D. Clack
"Analysing Resource Use in the Lambda Calculus by Type Inference"
ps pdfClement A. Baker-Finch
"Type Theory and Projections for Higher-Order Static Analysis"
ps pdfKei Davis
"PERs from Projections for Binding-Time Analysis"
Program Analyses - ApplicationsLars Birkedal and Morten Welinder
"Binding-Time Analysis for Standard ML"
ps pdfPeter Thiemann
"Higher-Order Redundancy Elimination"
ps pdfJeffrey Dean, Craig Chambers and David Grove
"Identifying Profitable Specialization in Object-Oriented Languages"
ApplicationsMark Leone and Peter Lee
"Lightweight Run-Time Code Generation"
ps pdfMark P. Jones
"Dictionary-Free Overloading by Partial Evaluation"
ps pdfRomana Baier, Robert GlŘck and Robert Z÷chling
"Partial Evaluation of Numerical Programs in Fortran"
ps pdfAndrew A. Berlin and Rajeev J. Surati
"Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience"
Last modified: Monday, February 16th, 2009 6:22:13pm
HTML generated using WebIt!.