Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation / Sam Lindley.

Format:

Book

Author/Creator:

Lindley, Sam, author.

Series:

ACM Conferences

Language:

English

Subjects (All):

Compiling (Electronic computers)--Congresses.

Compiling (Electronic computers).

Physical Description:

1 online resource (89 pages) : illustrations

Other Title:

PEPM 2021

Place of Publication:

New York, New York : Association for Computing Machinery, 2021.

Summary:

We are pleased to present the proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2021), held January 18-19th, 2021, in aliation with the annual Symposium on Principles of Programming Languages (POPL 2021). (Originally POPL 2021 was originally to be held in Copenhagen, Denmark, but due to the COVID-19 pandemic, it was moved entirely online.) PEPM has a history dating back to 1991, and 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 centered 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 whilst establishing or maintaining important semantic properties. Relevant topics range from refactoring, partial evaluation, supercompilation, staged programming, fusion, and other meta-programming to model-driven development, program analysis, inductive programming, decompilation, program generation, and abstract interpretation.

Notes:

Description based on publisher supplied metadata and other sources.