Selected and extended papers from Partial Evaluation and Program Manipulation 2013

摘要

This volume gathers together extended versions of selected papers presented at the 2013 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM). The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. PEPM'2013 was based on a broad interpretation of semantics-based program manipulation and continued the previous years' successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization by including also practical applications of program transformations and implementation techniques.