Recent Features
| |||||||||||||
Evolutionary development of a semantic patch using CoccinelleEvolutionary development of a semantic patch using CoccinellePosted 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)
(Log in 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
|
|||||||||||||