Sumario: | We are pleased to present the proceedings of the 2022 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2022), held January 17-18th, 2022 in Philadelphia, in affiliation with the annual Symposium on Principles of Programming Languages (POPL 2022). PEPM has a history going back to 1991 and originated with the discoveries of useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centered around the theme of semantics-based program manipulation - the systematic exploitation of treating programs not only as subjects to black-box execution but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties.
|