[cfe-dev] Evolution of advanced refactoring support

Manuel Klimek 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?
> http://coccinelle.lip6.fr/**papers/popl09.pdf<http://coccinelle.lip6.fr/papers/popl09.pdf>
> http://doi.acm.org/10.1145/**1480881.1480897<http://doi.acm.org/10.1145/1480881.1480897>

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...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130228/a8af87ae/attachment.html>

More information about the cfe-dev mailing list