[aspectc-user] Cooperation with "CTL-VW"?
Markus.Elfring at web.de
Tue Mar 25 09:29:28 CET 2014
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".
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?
More information about the aspectc-user