[C-safe-secure-studygroup] 20190109 teleconference notes

Wilson, Charles Charles.Wilson at draeger.com
Tue Jan 22 19:02:20 GMT 2019

I didn't catch that. Good to know.

-----Original Message-----
From: C-safe-secure-studygroup [mailto:c-safe-secure-studygroup-bounces at lists.trustable.io] On Behalf Of Roberto Bagnara
Sent: Tuesday, January 22, 2019 2:01 PM
To: c-safe-secure-studygroup at lists.trustable.io
Subject: Re: [C-safe-secure-studygroup] 20190109 teleconference notes

On 1/22/19 7:44 PM, Wilson, Charles wrote:
> Roberto reported on MISRA meeting:
>   * they will be upgrading from C99 to C11 in the next revision

Yes.  But another important thing is that the upgrade will be published incrementally, in fascicles targeting specific subsets of C11.  So people will be able to write MISRA-C-compliant code using selected C11 features without waiting for the next full revision of MISRA C.

      Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara at cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara at bugseng.com

C-safe-secure-studygroup mailing list
C-safe-secure-studygroup at lists.trustable.io
This communication contains confidential information. If you are not the intended recipient please return this email to the sender and delete it from your records.

Diese Nachricht enthaelt vertrauliche Informationen. Sollten Sie nicht der beabsichtigte Empfaenger dieser E-mail sein, senden Sie bitte diese an den Absender zurueck und loeschen Sie die E-mail aus Ihrem System.

More information about the C-safe-secure-studygroup mailing list