> > 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)
