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

[Frama-c-discuss] Looking for paper describing Frama-C internals



Hello Julien,

2010/9/20 Julien Signoles <Julien.Signoles at cea.fr>:
> About Frama-C internals, there is also a not-yet-published article about the
> Frama-C library ensuring safety of each dynamic plug-in API (this library
> would also ensure safety of unmarshalling in the next version of Frama-C).
> Please let me know if you are interested.

No thank you. I am less interested in the OCaml tricks used to program
Frama-C (even if it is interesting to know that they are used in some
specific contexts).

Sincerely yours,
david