|
|
Log in / Subscribe / Register

Evolutionary development of a semantic patch using Coccinelle

Evolutionary development of a semantic patch using Coccinelle

Posted Mar 31, 2010 23:08 UTC (Wed) by marcH (subscriber, #57642)
Parent article: Evolutionary development of a semantic patch using Coccinelle

Coccinelle means Beetle. I guess it's a pun on "CTL-VW"? (Computation Tree Logic with Variables and Witnesses)

to post comments

Evolutionary development of a semantic patch using Coccinelle

Posted Apr 1, 2010 14:00 UTC (Thu) by lawall (guest, #56234) [Link]

Actually a coccinelle is a ladybug, which is a carniverous insect, ie it eats other bugs.

CTL-VW was a unintentional pun on Coccinelle.

julia


Copyright © 2026, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds