<div dir="ltr">On Thu, Feb 28, 2013 at 9:28 AM, Markus Elfring <span dir="ltr"><<a href="mailto:Markus.Elfring@web.de" target="_blank">Markus.Elfring@web.de</a>></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">
To some degree we have a semantic patch language. It just happens to be written as C++ code.<br>
</blockquote>
<br></div>
Which approaches do you prefer to specify dependencies between nodes in a control flow graph of a function implementation for example?<br></blockquote><div><br></div><div style>We don't do control flow (yet).</div><div>
 </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
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?<br>

<br>
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?<br>
<a href="http://coccinelle.lip6.fr/papers/popl09.pdf" target="_blank">http://coccinelle.lip6.fr/<u></u>papers/popl09.pdf</a><br>
<a href="http://doi.acm.org/10.1145/1480881.1480897" target="_blank">http://doi.acm.org/10.1145/<u></u>1480881.1480897</a></blockquote><div><br></div><div style>At a glance, this all looks super-theoretical :) The big question for us is: how can we make it simpler to use.</div>
<div style><br></div><div style>Cheers,</div><div style>/Manuel</div></div></div></div>