[cfe-dev] Evolution of advanced refactoring support

Markus Elfring Markus.Elfring at web.de
Thu Feb 28 00:28:14 PST 2013

> 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 

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?


More information about the cfe-dev mailing list