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
Article: poplws20pepmforeword-fm000-p doi:
Message from the Chairs
Article: poplws20pepmforeword-fm001-p doi:

Research Papers

Module Generation without Regret
Yuhi Sato, Yukiyoshi Kameyama, and Takahisa Watanabe
(University of Tsukuba, Japan)
Publisher's Version Article: poplws20pepmmain-p5-p doi:10.1145/3372884.3373160
Symbolic Bisimulation for Open and Parameterized Systems
Zechen Hou and Eric Madelaine
(East China Normal University, China; Inria, France)
Publisher's Version Article: poplws20pepmmain-p7-p doi:10.1145/3372884.3373161
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: poplws20pepmmain-p8-p doi:10.1145/3372884.3373162

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: poplws20pepmmain-p2-p doi:10.1145/3372884.3373158
GOOL: A Generic Object-Oriented Language
Jacques Carette, Brooks MacLachlan, and Spencer Smith
(McMaster University, Canada)
Publisher's Version Article: poplws20pepmmain-p4-p doi:10.1145/3372884.3373159

proc time: 0.01