--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on January 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Pointer to Jessie input language semantics



On Tue, 2011-01-18 at 14:03 +0100, Pascal Cuoq wrote:
> Yes, there is. Jessie is an intermediate language before being a
> Frama-C plug-in.

I see, you mean the language that the annotated C code is converted to
by Jessie. Yannick Moy's PhD contains a section on the Jessie language
http://www.lri.fr/~marche/moy09phd.pdf.
-- 
Regards,
Boris