Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ask for slicing spec

On Tue, Sep 29, 2009 at 12:12 AM, Anne Pacalet
<anne.pacalet at> 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 :
> 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