<div dir="ltr">On Tue, Feb 26, 2013 at 9:20 PM, 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">
I'm not sure I understand what exactly you ask, but we're combining matchers into a tree that than is matched against the AST (which is more of a graph than a tree ;)<br>
</blockquote>
<br></div>
Can higher level analysis and software refactoring be performed by the means from variants of the knowledge  area "computation tree logic"?<br>
<br>
Would you like to map "ASG" matchers to a semantic patch language?<br></blockquote><div><br></div><div style>I'm not 100% sure what your question is :)</div><div style><br></div><div style>So, we are doing ongoing refactoring work based on the ast matchers - and when I say refactorings, I really mean "code transformations".</div>
<div style><br></div><div style>About the "semantic patch language". To some degree we have a semantic patch language. It just happens to be written as C++ code. Now, I'm aware that for simple problems that not optimal, and I'd be curious to see projects that try to address this, but we have put a lot of thought into it and think that a project like that would have a lot of risk - so it'd better fit into a research org.</div>
<div style><br></div><div style>Cheers,</div><div style>/Manuel</div></div></div></div>