|
|
|
|
|
|
by johnisgood
2674 days ago
|
|
|
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. |
|
|