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