Abstract
We are pleased to present the proceedings of the 2025 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2025), held in Denver, Colorado, January 21st, 2025, in affiliation with the annual Symposium on Principles of Programming Languages (POPL 2025). PEPM has a history going back to 1991, and originates in the discoveries of practically 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 subject to black-box execution, but also as data structures that can be generated, analyzed, and transformed while establishing or maintaining important semantic properties.
| Original language | English |
|---|---|
| Title of host publication | PEPM '25: 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation |
| Place of Publication | New York, NY |
| Publisher | Association for Computing Machinery |
| Pages | III-IV |
| Number of pages | 2 |
| ISBN (Electronic) | 9798400713507 |
| DOIs | |
| Publication status | Published - 10 Jan 2025 |
| Event | 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2025 - Denver, United States Duration: 21 Jan 2025 → … |
Conference
| Conference | 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2025 |
|---|---|
| Country/Territory | United States |
| City | Denver |
| Period | 21/01/25 → … |
Fingerprint
Dive into the research topics of 'Message from the Chairs'. Together they form a unique fingerprint.Activities
- 1 Organiser of special symposia
-
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Allais, G. (Chair)
19 Jan 2025Activity: Presenting or Organising an Event › Organiser of special symposia
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver