lol.
On Sat, May 14, 2011 at 11:02 AM, Rene Rydhof Hansen <[email protected]> wrote: >> > Coccinelle is based on temporal logic. >> >> Can its processing be separated into several phases and then be >> organised into a pipeline? > > Would you like to explain why this would be beneficial? How do you > think about "processing": model checking or something else? > >> Did more researchers check if this logic methodology can collaborate >> with Petri nets? > > I find google/google scholar/citeseer invaluable tools for answering > such questions. Would you like to use these tools to answer the > question? > > Would you like to explain what you mean by "collaborate"? Would you > like to suggest how such collaboration might benefit > Coccinelle? > > How do you think about these suggestions? > > > /rrh > > -- > Rene Rydhof Hansen > email: [email protected] > phone: (+45) 9940 7514 > _______________________________________________ > Cocci mailing list > [email protected] > http://lists.diku.dk/mailman/listinfo/cocci > (Web access from inside DIKUs LAN only) > _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
