Powered by
2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2021), January 18-19, 2021,
Virtual, Denmark
2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2021)
Frontmatter
Papers
A Type-Safe Structure Editor Calculus
Christian Godiksen,
Thomas Herrmann,
Hans Hüttel,
Mikkel Korup Lauridsen, and
Iman Owliaie
(Aalborg University, Denmark)
@InProceedings{PEPM21p1,
author = {Christian Godiksen and Thomas Herrmann and Hans Hüttel and Mikkel Korup Lauridsen and Iman Owliaie},
title = {A Type-Safe Structure Editor Calculus},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3441296.3441393},
year = {2021},
}
Publisher's Version
A Text-Based Syntax Completion Method using LR Parsing
Isao Sasano and
Kwanghoon Choi
(Shibaura Institute of Technology, Japan; Chonnam National University, South Korea)
@InProceedings{PEPM21p45,
author = {Isao Sasano and Kwanghoon Choi},
title = {A Text-Based Syntax Completion Method using LR Parsing},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3441296.3441395},
year = {2021},
}
Publisher's Version
Counterexample Generation for Program Verification Based on Ownership Refinement Types
Hideto Ueno,
John Toman,
Naoki Kobayashi, and
Takeshi Tsukada
(University of Tokyo, Japan; Certora, USA; Chiba University, Japan)
@InProceedings{PEPM21p67,
author = {Hideto Ueno and John Toman and Naoki Kobayashi and Takeshi Tsukada},
title = {Counterexample Generation for Program Verification Based on Ownership Refinement Types},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3441296.3441396},
year = {2021},
}
Publisher's Version
Efficient Fair Conjunction for Structurally-Recursive Relations
Peter Lozov and
Dmitry Boulytchev
(St. Petersburg State University, Russia; JetBrains Research, Russia)
@InProceedings{PEPM21p89,
author = {Peter Lozov and Dmitry Boulytchev},
title = {Efficient Fair Conjunction for Structurally-Recursive Relations},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {89-88},
doi = {10.1145/3441296.3441397},
year = {2021},
}
Publisher's Version
Strictly Capturing Non-strict Closures
Zachary J. Sullivan,
Paul Downen, and
Zena M. Ariola
(University of Oregon, USA)
@InProceedings{PEPM21p111,
author = {Zachary J. Sullivan and Paul Downen and Zena M. Ariola},
title = {Strictly Capturing Non-strict Closures},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {111-110},
doi = {10.1145/3441296.3441398},
year = {2021},
}
Publisher's Version
proc time: 0.61