3 ms·

" ... a subset of the C programming language".

• tjr 14y ago
  Er, I missed that footnote. Thanks.
  • gregholmberg 14y ago
    I think you found the punch line. Something like "if you want to write small, solid and safe control logic for an embedded system, you should generally use C. But if you want to prove it mathematically correct, you'll need to test it with software written in this obscure language from INRIA in Grenoble."
    • deleted 14y ago
      [deleted]