Powered by
2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2020), January 20, 2020,
New Orleans, LA, USA
2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2020)
Frontmatter
Research Papers
Module Generation without Regret
Yuhi Sato,
Yukiyoshi Kameyama, and
Takahisa Watanabe
(University of Tsukuba, Japan)
@InProceedings{PEPM20p1,
author = {Yuhi Sato and Yukiyoshi Kameyama and Takahisa Watanabe},
title = {Module Generation without Regret},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3372884.3373160},
year = {2020},
}
Publisher's Version
Symbolic Bisimulation for Open and Parameterized Systems
Zechen Hou and
Eric Madelaine
(East China Normal University, China; Inria, France)
@InProceedings{PEPM20p18,
author = {Zechen Hou and Eric Madelaine},
title = {Symbolic Bisimulation for Open and Parameterized Systems},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3372884.3373161},
year = {2020},
}
Publisher's Version
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)
@InProceedings{PEPM20p35,
author = {Rodin T. A. Aarssen and Tijs van der Storm},
title = {High-Fidelity Metaprogramming with Separator Syntax Trees},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3372884.3373162},
year = {2020},
}
Publisher's Version
Short Papers
GOOL: A Generic Object-Oriented Language
Jacques Carette,
Brooks MacLachlan, and
Spencer Smith
(McMaster University, Canada)
@InProceedings{PEPM20p62,
author = {Jacques Carette and Brooks MacLachlan and Spencer Smith},
title = {GOOL: A Generic Object-Oriented Language},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {62-61},
doi = {10.1145/3372884.3373159},
year = {2020},
}
Publisher's Version
proc time: 0.66