--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on September 2009 ---
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