[prev in list] [next in list] [prev in thread] [next in thread] 

List:       cfe-dev
Subject:    Re: [cfe-dev] Evolution of advanced refactoring support
From:       Manuel Klimek <klimek () google ! com>
Date:       2013-02-28 11:07:43
Message-ID: CAOsfVvn1ttFY6FGNcPP+_DJuiVf2841XMZLAypuC=qrLcseUeA () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


On Thu, Feb 28, 2013 at 11:26 AM, Markus Elfring <Markus.Elfring@web.de>wrote:

>
>  We don't do control flow (yet).
>>
>
> Would you like to change this design aspect?
>

Yes. But that will require getting the lowest level up first, which is to
hook the static analyzer into the tooling framework. We're planning to
spend some work there later this year...

Cheers,
/Manuel


>
>
>      http://coccinelle.lip6.fr/**papers/popl09.pdf<http://coccinelle.lip6.fr/papers/popl09.pdf>
>>
>>
>>
>> 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.
>
> Regards,
> Markus
>

[Attachment #5 (text/html)]

<div dir="ltr">On Thu, Feb 28, 2013 at 11:26 AM, Markus Elfring <span \
dir="ltr">&lt;<a href="mailto:Markus.Elfring@web.de" \
target="_blank">Markus.Elfring@web.de</a>&gt;</span> wrote:<br><div \
class="gmail_extra"><div class="gmail_quote"> <blockquote class="gmail_quote" \
style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div \
class="im"><br> <blockquote class="gmail_quote" style="margin:0 0 0 \
.8ex;border-left:1px #ccc solid;padding-left:1ex"> We don&#39;t do control flow \
(yet).<br> </blockquote>
<br></div>
Would you like to change this design aspect?<br></blockquote><div><br></div><div \
style>Yes. But that will require getting the lowest level up first, which is to hook \
the static analyzer into the tooling framework. We&#39;re planning to spend some work \
there later this year...</div> <div style><br></div><div style>Cheers,</div><div \
style>/Manuel</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 \
.8ex;border-left:1px #ccc solid;padding-left:1ex"> <br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc \
solid;padding-left:1ex">  <a href="http://coccinelle.lip6.fr/papers/popl09.pdf" \
target="_blank">http://coccinelle.lip6.fr/<u></u>papers/popl09.pdf</a><div \
class="im"><br> <br>
<br>
At a glance, this all looks super-theoretical :)<br>
</div></blockquote>
<br>
I agree to this view also from my knowledge background. I hope that the technology \
&quot;CTL-VW&quot; (computation tree logic with variables and witnesses) will be \
reused for further software development besides the programming language \
&quot;OCaml&quot;.<div class="im"> <br>
<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc \
solid;padding-left:1ex"> <br>
The big question for us is: how can we make it simpler to use.<br>
</blockquote>
<br></div>
I find that the application of &quot;SmPL&quot; is relatively easy after I became \
used to it. Corresponding extensions might be interesting for the involved class \
libraries.<br> <br>
Regards,<br>
Markus<br>
</blockquote></div><br></div></div>



_______________________________________________
cfe-dev mailing list
cfe-dev@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev


[prev in list] [next in list] [prev in thread] [next in thread]