---
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
- Subject: [Frama-c-discuss] Pointer to Jessie input language semantics
- From: hollas at informatik.htw-dresden.de (Boris Hollas)
- Date: Tue, 18 Jan 2011 14:31:56 +0100
- In-reply-to: <AANLkTindvDohBwebHtGRjPfcYSOEqsR4=4ac1LNjmVmD@mail.gmail.com>
- References: <200E8E14-24C1-4A11-B797-544F3E1529F8@gmail.com> <1295355364.1826.32.camel@iti27> <AANLkTindvDohBwebHtGRjPfcYSOEqsR4=4ac1LNjmVmD@mail.gmail.com>
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