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
1999Shifting Expression Procedures into Reverse.Mark Tullsen, Paul Hudak
1999Interpreting Specialization in Type Theory.Peter Thiemann
1999Deriving a Statically Typed Type-Directed Partial Evaluator.Morten Rhiger
1999An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework.Germn Puebla, Manuel V. Hermenegildo, John P. Gallagher
1999Gdelization in the Untyped lambda-Calculus.Torben . Mogensen
1999Declarative Aspect-Oriented Programming.Ralf Lmmel
1999Partial Evaluation of Shaped Programs: Experience with FISh.C. Barry Jay
1999Diffusion: Calculating Efficient Parallel Programs.Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
1999Certifying Compilation and Run-Time Code Generation.Luke Hornof, Trevor Jim
1999Slicing Software for Model Construction.Matthew B. Dwyer, John Hatcliff
1999Combining Program and Data Specialization.Sandrine Chirokoff, Charles Consel
1999Effective Optimization of Multiple Traversals in Lazy Languages.Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo
1999Quasiquotation in Lisp.Alan Bawden
1998Aspects of the PGG System: Specialization for Standard Scheme.Peter Thiemann
1998Introduction to Supercompilation.Morten Heine Srensen, Robert Glck
1998Partial Evaluation of Hardware.Satnam Singh, Nicholas McKay
1998Eta-Redexes in Partial Evaluation.Jens Palsberg
1998Inherited Limits.Torben . Mogensen
1998Partial Evaluation: Concepts and Applications.Torben . Mogensen
1998Advanced Logic Program Specialisation.Michael Leuschel
1998Logic Program Specialisation.Michael Leuschel
1998Faster Fourier Transforms via Automatic Program Specialization.Julia L. Lawall
1998SIMILIX: A Self-Applicable Partial Evaluator for Scheme.Jesper Jrgensen
1998Partial Evaluation for the Lambda Calculus.Neil D. Jones, Carsten K. Gomard, Peter Sestoft
1998A Type Specialisation Tutorial.John Hughes
351375 of 500← PreviousNext →

Comparable venues

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