|
|
|
|
|
|
by Dewie
4447 days ago
|
|
|
Don't know about Ada, but Rust and ATS can. The Rust code would need to be written in an unsafe block in order to as freely modify memory as C, but regular Rust can still do a lot without requiring automatic memory management, safely. As you can see from the article (not that you seem to have read any of it), ATS can express C, and optionally prove low-level stuff about it. |
|
|