--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on September 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Slicing in Frama-C



Hello,

I would like to have an in-depth look into the algorithm(s) that frama-c 
uses for backward slicing. Could you provide some resources (e.g. 
papers) regarding this?


Thanks in advance,

Nikos