[cfe-dev] Evolution of advanced refactoring support
Markus.Elfring at web.de
Thu Feb 28 02:26:16 PST 2013
> We don't do control flow (yet).
Would you like to change this design aspect?
> At a glance, this all looks super-theoretical :)
I agree to this view also from my knowledge background. I hope that the
technology "CTL-VW" (computation tree logic with variables and
witnesses) will be reused for further software development besides the
programming language "OCaml".
> The big question for us is: how can we make it simpler to use.
I find that the application of "SmPL" is relatively easy after I became
used to it. Corresponding extensions might be interesting for the
involved class libraries.
More information about the cfe-dev