[cfe-dev] Evolution of advanced refactoring support
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