News for hackers. Stuff that matters.

A comment on C0, an Imperative Programming Language for Novice Computer Scientists (2010) [pdf]. Parent comment

Re:C0, an Imperative Programming Language for Novice Compute... by lou1306 on Wednesday October 18, 2017 @11:55AM (#15500210)
I believe it is "simpler" in terms of formal semantics. Formalizing standard C is way harder (see https://github.com/kframework/c-semantics).

In fact, C0 is explicitly targeted at computer scientists rather than engineers.

[ Parent | on HN ]

There are no comments on this comment yet.