Powered by
2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2022),
January 17-18, 2022,
Philadelphia, PA, USA
2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2022)
Frontmatter
Papers
Semi-automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types
Christopher Brown , Adam D. Barwell
, Yoann Marquer
, Olivier Zendra
, Tania Richmond
, and Chen Gu
(University of St. Andrews, UK; Imperial College London, UK; Inria, France; DGA, France; Hefei University of Technology, China)
Publisher's Version
proc time: 1.25