[cfe-dev] Evolution of advanced refactoring support
klimek at google.com
Thu Feb 28 01:40:24 PST 2013
On Thu, Feb 28, 2013 at 9:28 AM, Markus Elfring <Markus.Elfring at web.de>wrote:
> 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?
We don't do control flow (yet).
> 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?
At a glance, this all looks super-theoretical :) The big question for us
is: how can we make it simpler to use.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev