POPL 2020 Co-Located Events
POPL 2020 Co-Located Events
Powered by
Conference Publishing Consulting

2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2020), January 20, 2020, New Orleans, LA, USA

PEPM 2020 – Proceedings

Contents - Abstracts - Authors

2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2020)

Frontmatter

Title Page
Message from the Chairs

Research Papers

Module Generation without Regret
Yuhi Sato, Yukiyoshi Kameyama, and Takahisa Watanabe
(University of Tsukuba, Japan)
Publisher's Version Article Search
Symbolic Bisimulation for Open and Parameterized Systems
Zechen Hou and Eric Madelaine
(East China Normal University, China; Inria, France)
Publisher's Version Article Search
High-Fidelity Metaprogramming with Separator Syntax Trees
Rodin T. A. Aarssen and Tijs van der Storm
(CWI, Netherlands; Eindhoven University of Technology, Netherlands; University of Groningen, Netherlands)
Publisher's Version Article Search

Short Papers

An Approach to Generate Text-Based IDEs for Syntax Completion Based on Syntax Specification
Isao Sasano
(Shibaura Institute of Technology, Japan)
Publisher's Version Article Search
GOOL: A Generic Object-Oriented Language
Jacques Carette, Brooks MacLachlan, and Spencer Smith
(McMaster University, Canada)
Publisher's Version Article Search

proc time: 3.58