Re:Implications of Rewriting a Browser Component in Rust
by johnisgood on Thursday February 28, 2019 @02:55PM
(#19274494)
Which problems are you referring to?
You can do everything that has been mentioned without Ada's RTS, you can also disable all run-time checks. You can use static analysis tools (there are many, and available for free), for example, you can formally verify the correctness of the program, no run-time checks required.
You can do everything that has been mentioned without Ada's RTS, you can also disable all run-time checks. You can use static analysis tools (there are many, and available for free), for example, you can formally verify the correctness of the program, no run-time checks required.