[cfe-dev] Evolution of advanced refactoring support

[Markus Elfring]

> To some degree we have a semantic patch language. It just happens to 
> be written as C++ code.

Which approaches do you prefer to specify dependencies between nodes in 
a control flow graph of a function implementation for example?

Would you like to reuse anything from the technology "CTL-VW" 
(computation tree logic with variables and witnesses) and related 
knowledge areas from computer science for improved source code 
transformations?

Do you find information from the document "A Foundation for Flow-Based 
Program Matching Using Temporal Logic and Model Checking" useful for 
your class library?
http://coccinelle.lip6.fr/papers/popl09.pdf
http://doi.acm.org/10.1145/1480881.1480897

Regards,
Markus