|
|
|
|
|
|
by nickpsecurity
396 days ago
|
|
|
For those use cases, I've always encouraged new languages to support transiting to a verifiable subset of C or another language with such tooling. Errors detected in the other language can be corrected in the source written in the new language. The abstraction gaps must be minimized, though. |
|
|