ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Programming Manipulation
摘要截稿:
全文截稿: 2023-10-18
开会时间: 2024-01-17
会议难度:
CCF分类: C类
会议地点: London, United Kingdom
Overview
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties.