A foundation for flow-based program matching: using temporal logic and model checking.

Julien Brunel, Damien Doligez, Ren Rydhof Hansen, Julia L. Lawall, Gilles Muller

Browse the full POPL paper archive.