|
|
|
|
|
|
by achamayou
4503 days 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. |
|
|