Not logged in
Log in now
Create an account
Subscribe to LWN
LWN.net Weekly Edition for December 5, 2013
Deadline scheduling: coming soon?
LWN.net Weekly Edition for November 27, 2013
ACPI for ARM?
LWN.net Weekly Edition for November 21, 2013
Coccinelle means Beetle. I guess it's a pun on "CTL-VW"? (Computation Tree Logic with Variables and Witnesses)
Evolutionary development of a semantic patch using Coccinelle
Posted Apr 1, 2010 14:00 UTC (Thu) by lawall (guest, #56234)
CTL-VW was a unintentional pun on Coccinelle.
Copyright © 2013, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds