--- layout: fc_discuss_archives title: Message 80 from Frama-C-discuss on September 2009 ---
On Tue, Sep 29, 2009 at 12:12 AM, Anne Pacalet <anne.pacalet at sophia.inria.fr> wrote: > Hello, > >> I am talking about the link in API documentation. >> In the main page for slicing, there is a link for design documentation >> in the 1st paragraph of Section "Overview". However, that doesn't work. > > > If you want to use the slicing from a user point of view, > you don't really need to have this documentation which is > rather a developer point of view, and moreover, as written, > it is in French... > > As I said in my previous message, you'd better have a look at : > http://www.frama-c.cea.fr/slicing.html > that explain how to use the slicing plugin. > And if you need more information, please fell free to ask... > I am interested in the details of slicing, because I might do some academic work above Frama-C and I have to make sure that the foundation is what I expected. > Anyway, I'll try to fix this broken link in the documentation. Thanks Anne. I appreciate that. By the way, can you send me the document now? It doesn't matter that it is in French. My question is whether you have implemented Susan Horwitz's PDG algorithm described in her paper. And what are the differences between your pdg and hers? S. Horwitz and T. Reps, The use of program dependence graphs in software engineering, In Proceedings of the Fourteenth International Conference on Software Engineering, (Melbourne, Australia, May 1992) > > Regards, > -- > Anne. > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -- Regards, Jun