Listing 1 - 10 of 93 | << page >> |
Sort by
|
Choose an application
Choose an application
Choose an application
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.
Choose an application
Choose an application
Choose an application
We are pleased to present the proceedings of the 2022 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2022), held January 17-18th, 2022 in Philadelphia, in affiliation with the annual Symposium on Principles of Programming Languages (POPL 2022). PEPM has a history going back to 1991 and originated with the discoveries of 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 subjects to black-box execution but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties.
Choose an application
Choose an application
Computer science --- Compiling (Electronic computers) --- Compilation (Informatique)
Choose an application
Programming --- Compiling (Electronic computers) --- Compilation (Informatique)
Choose an application
Listing 1 - 10 of 93 | << page >> |
Sort by
|