4 ms·
C99 with some restrictions isn't actually that big a language, it's quite possible to put together a formal semantics for it, especially if you disallow heap al
by achamayou 13y ago
C99 with some restrictions isn't actually that big a language, it's quite possible to put together a formal semantics for it, especially if you disallow heap allocation.
There's at least one fairly mature implementation of a certified compiler out there (CompCert) with only minor restrictions to the language.