[SystemSafety] C? Which C?

[Roberto Bagnara]

While the group is discussing the merits and demerits of C, I would
like to share a paper I just published that, I reckon, is on topic:

     https://arxiv.org/abs/1909.06353

 From the abstract: "The belief that C text has meaning in itself is so
common, also among seasoned C practitioners, that I thought writing a
short paper on the subject was a good time investment."

-- 
      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