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] Pointer to Jessie input language semantics

> Coming back to the first request, Barbara wants a "specification of the
> semantics" of the Jessie language,
> and the 2 pages PLPV paper will certainly not answer to that.

Sorry about that. My employer has adopted a strong stance against
proceeding publishers. As a result of the on-going arm-wrestling,
I wasn't able to access the paper to check it was what B?rbara
was looking for. Well, either that or my employer is paying ginormous sums
of money for me not to be able to access the reviews I actually need.
One of the two options, anyway.

Pascal