The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
Abstract elided by the publisher.
Related papers
- Semantic Patches for Java Program Transformation (Experience Report) ECOOP 2019
- A foundation for flow-based program matching: using temporal logic and model checking POPL 2009
- Enhancing APR with PRISM: A Semantic-Based Approach to Overfitting Patch Detection OOPSLA 2025
- Patches as better bug reports GPCE 2006
- Abstract semantic differencing via speculative correlation OOPSLA 2014
- Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it POPL 2015
- Maya: Multiple-Dispatch Syntax Extension in Java PLDI 2002
- Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus POPL 2025