4 ms·
The C community has things like Frama-C and CompCert, because they're not pursuing exponential complexity in their language. As you correctly point out at firs
by achamayou 10y ago
The C community has things like Frama-C and CompCert, because they're not pursuing exponential complexity in their language.
As you correctly point out at first, the value of a language is more than the language itself, it's also the tooling and the environment. And since you can't retrofit safety in the language, it's a good place to work on it.
- Thiez 10y ago> The C community has things like Frama-C and CompCert, because they're not pursuing exponential complexity in their language. Could you elaborate on what complexity you are referring to, and what makes it exponential?
- catnaroek 10y agoStatic analysis tools for C suffer from modularity issues: These tools are primarily based on abstract interpretation, so their results are very sensible to the control flow of your program. This means that your procedures, as analyzed by these tools, are connected by monstrous preconditions and invariants that describe the state of your program in each control flow path the program could possibly take. For obvious reasons, this doesn't scale.
- pjmlp 10y agoWhich very few bother to use.