Skip to content

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

PEPM

C

CORE rank

CORE rank (raw)

C

Fields of research

Software Engineering

Papers indexed

500

1991–2026

Papers per year

199129 peak2026

PEPM papers

500 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
1994Identifying Profitable Specialization in Object-Oriented Languages.Jeffrey Dean, Craig Chambers, David Grove
1994PERs from Projections for Binding-Time Analysis.Kei Davis
1994The Essence of Eta-Expansion in Partial Evaluation.Olivier Danvy, Karoline Malmkjr, Jens Palsberg
1994Analysing Resource Use in the Lambda Calculus by Type Inference.Simon Courtenage, Chris D. Clack
1994Improving CPS-Based Partial Evaluation: Writing Cogen by Hand.Anders Bondorf, Dirk Dussart
1994Binding-Time Analysis for Standard ML.Lars Birkedal, Morten Welinder
1994Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience.Andrew A. Berlin, Rajeev J. Surati
1994Type Theory and Projections for Higher-Order Static Analysis.Clement A. Baker-Finch
1994Partial Evaluation of Numerical Programs in Fortran.Romana Baier, Robert Glck, Robert Zchling
1993A Partial Evaluator for Data Flow Graphs.Jesper Vasell
1993A Safety Analysis for Functional Programs.Peter Thiemann
1993Polymorphic Strictness Analysis using Frontiers.Julian Seward
1993Online Partial Deduction of Large Programs.Steven D. Prestwich
1993Completeness and predicate-based abstract interpretation.Alan Mycroft
1993Partial Evaluation of General Parsers.Christian Mossin
1993Constructor Spezialization.Torben . Mogensen
1993Towards Efficient Partial Evaluation.Karoline Malmkjr
1993Proofs by Structural Induction using Partial Evaluation.Julia L. Lawall
1993The Correctness of an Optimized Code Generation.Torben Poort Lange
1993Searching For Semantics.John Hannan
1993Tutorial on Specialisation of Logic Programs.John P. Gallagher
1993Higher-order Binding-time Analysis.Kei Davis
1993Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems.Charles Consel, Calton Pu, Jonathan Walpole
1993A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages.Charles Consel
1993Polyvariant Binding-Time Analysis For Applicative Languages.Charles Consel
426450 of 500← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.