[aspectc-user] Cooperation with "CTL-VW"?

[Markus Elfring]

Hello,

Components from the software "AspectC++" support also source code manipulations.
Another approach uses the technology "computation tree logic with variables and
witnesses" (CTL-VW) like it is described in the document "A Foundation for
Flow-Based Program Matching Using Temporal Logic and Model Checking".
http://coccinelle.lip6.fr/papers/popl09.pdf
http://doi.acm.org/10.1145/1480881.1480897

Would it be useful to reuse it in your function/class library?

How do you think about to develop any further extensions for this knowledge area
from computer science?

Regards,
Markus